max
/
cde-goedel
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
(Teilweise) Mitschrift zum CdE-Kurs zu Kurt Goedel, gehalten auf der WinterAka 2024 von Merlin Carl.
15 Commits 1 Branch 0 Tags 86 KiB
TeX 98.4%
Makefile 1.4%
Shell 0.2%
Go to file
Maximilian Keßler c99907e0f1
Compile exercises / compile (push) Successful in 1m24s Details
ein paar remarks 		2024-01-04 17:00:41 +01:00
.gitea/workflows fix build script 2024-01-03 17:04:44 +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 ein paar remarks 2024-01-04 17:00:41 +01:00
Makefile set up packages 2024-01-03 16:33:16 +01:00
README.md fix readme link 2024-01-03 17:07:50 +01:00
export_texinputs.sh set up packages 2024-01-03 16:33:16 +01:00

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.

PDF

You can also download an automatically compiled PDF.