Maximilian Keßler
1596055283
Some checks failed
Compile exercises / compile (push) Has been cancelled
420 B
420 B
Kurt Goedel - Leben und Werk
Einige nicht sehr vollständige Notizen zum Gödelkurs der CdE-Winteraka 23/24, gehalten von Merlin Carl.
Compile
After cloning the repository, do git submodule update --init to fetch the packages.
Then you can just compile with latexmk, a standard LaTeX build script.
You can also download an automatically compiled PDF.