From 309b2792b741fc2eabdb83d14e7a645775d7d780 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Wed, 3 Jan 2024 17:06:17 +0100 Subject: [PATCH] add README --- README.md | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 README.md diff --git a/README.md b/README.md new file mode 100644 index 0000000..e5047bc --- /dev/null +++ b/README.md @@ -0,0 +1,10 @@ +# 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](https://max.users.git.abstractnonsen.se/cde-goedel).