leonv/bsc-leon-vatthauer
1
0
Fork 0
mirror of https://git8.cs.fau.de/theses/bsc-leon-vatthauer.git synced 2024-05-31 07:28:34 +02:00
Code Issues Projects Releases Packages Wiki Activity
bsc-leon-vatthauer/thesis
History
Leon Vatthauer 6e1633c8d9
🎉🎉 Final commit, small changes after proof reading
2024-03-18 11:01:54 +01:00
..
.vscode 🎉🎉 Final commit, small changes after proof reading 2024-03-18 11:01:54 +01:00
agda change file names to final chapter order, work on introduction. 2024-03-14 17:34:50 +01:00
img add CI for tex 2023-12-05 12:36:54 +01:00
src 🎉🎉 Final commit, small changes after proof reading 2024-03-18 11:01:54 +01:00
.chktexrc Finish proofs in chapter 4 and apply some chktex hints 2024-03-09 10:46:41 +01:00
bib.bib Work on introduction and the section on the formalization 2024-03-16 10:07:36 +01:00
main.tex Fix language error 2024-03-17 16:08:28 +01:00
Makefile Fix makefile 2024-03-13 12:38:31 +01:00
quiver.sty squash warnings 2024-03-15 10:46:00 +01:00
README.md Added READMEs 2024-02-09 13:49:08 +01: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.