leonv/bsc-consolidated
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
2 commits 1 branch 0 tags 980 KiB
Find a file
Exact
Leon Vatthauer c435da1c06
 add agda refs
2024-07-17 17:38:21 +02:00
.vscode get files from bsc 2024-07-17 16:25:41 +02:00
agda get files from bsc 2024-07-17 16:25:41 +02:00
img add agda refs 2024-07-17 17:38:21 +02:00
src add agda refs 2024-07-17 17:38:21 +02:00
.chktexrc get files from bsc 2024-07-17 16:25:41 +02:00
.gitignore add agda refs 2024-07-17 17:38:21 +02:00
bib.bib get files from bsc 2024-07-17 16:25:41 +02:00
main.tex add agda refs 2024-07-17 17:38:21 +02:00
Makefile get files from bsc 2024-07-17 16:25:41 +02:00
quiver.sty get files from bsc 2024-07-17 16:25:41 +02:00
README.md get files from bsc 2024-07-17 16:25:41 +02:00
thesis.pdf get files from bsc 2024-07-17 16:25:41 +02:00

README.md

The thesis

This folder contains the source of my thesis.

Requirements

Building the thesis requires a working xelatex installation. Since I am using the minted package for representing Agda code you will also need the Python syntax highlighter Pygments.

Usage

To compile the thesis just run make with the needed programs installed.