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/slides/README.md
Leon Vatthauer ac39b97ce2
Added READMEs
2024-02-09 13:49:08 +01:00

466 B
Raw Permalink Blame History

The slides

This folder contains the source of my slides for the presentation at the Oberseminar on the 23.01.2024.

Requirements

Building the slides 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 slides just run make with the needed programs installed.