Josia Pietsch
9956de5277
Build latex and deploy / checkout (push) Failing after 15m58s
Details



.ci  
.gitea/workflows  
LatexPackagesBuild@400daf229c  
inputs  
.gitignore  
.gitlabci.yml  
.gitmodules  
.latexmkrc  
Makefile  
README.md  
export_texinputs.sh  
jrpiegist.sty  
jrpiemath.sty  
jrpieyaref.sty  
logic.sty  
logic2gist.tex  
logic2.tex 
README.md
Logic II
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: lecturenotes@jrpie.de
The latest version is available on my website.
This project relies on the excellent Latex Packages by Maximilian Keßler as well as his CIPipeline. Also check out this blogpost by Gilles Castel, explaining how it is possible to write LaTeX fast enough to keep up with a lecturer.