Build latex and deploy / checkout (push) Failing after 15m24s Details
These are my notes on the lecture Logic II, taught by Ralf Schindler in the winter 23/24 at the University Münster.
This is not an official script.
There are probably some errors. If you find some of them or want to improve something, please send me a message: firstname.lastname@example.org
The latest version is available on my website.
This project relies on the excellent Latex Packages by Maximilian Keßler as well as his CI-Pipeline. Also check out this blogpost by Gilles Castel, explaining how it is possible to write LaTeX fast enough to keep up with a lecturer.