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