(Teilweise) Mitschrift zum CdE-Kurs zu Kurt Goedel, gehalten auf der WinterAka 2024 von Merlin Carl.
Find a file
Maximilian Keßler be281cfd85
Some checks failed
Compile exercises / compile (push) Failing after 1m0s
fix latex input path
2024-01-03 17:02:15 +01:00
.gitea/workflows add CI 2024-01-03 16:58:41 +01:00
latex-packages-build@37c3fa08ec checkout packages 2024-01-03 17:00:52 +01:00
.gitignore initial commit 2024-01-02 09:49:20 +01:00
.gitmodules set up packages 2024-01-03 16:33:16 +01:00
.latexmkrc fix latex input path 2024-01-03 17:02:15 +01:00
2024_CdE_Goedel.tex Rename file 2024-01-03 16:59:13 +01:00
export_texinputs.sh set up packages 2024-01-03 16:33:16 +01:00
Makefile set up packages 2024-01-03 16:33:16 +01:00