(Teilweise) Mitschrift zum CdE-Kurs zu Kurt Goedel, gehalten auf der WinterAka 2024 von Merlin Carl.
Maximilian Keßler
8ffb5005a0
All checks were successful
Compile exercises / compile (push) Successful in 1m10s
|
||
---|---|---|
.gitea/workflows | ||
latex-packages-build@37c3fa08ec | ||
.gitignore | ||
.gitmodules | ||
.latexmkrc | ||
2024_CdE_Goedel.tex | ||
export_texinputs.sh | ||
Makefile | ||
README.md |
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.