cde-goedel/README.md

11 lines
440 B
Markdown
Raw Permalink Normal View History

2024-01-03 17:06:17 +01:00
# 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.
## PDF
2024-01-03 17:07:22 +01:00
You can also download an automatically compiled [PDF](https://max.users.abstractnonsen.se/cde-goedel/2024_CdE_Goedel.pdf).