Some checks failed
Build latex and deploy / checkout (push) Failing after 13m8s
|
||
---|---|---|
.ci | ||
.gitea/workflows | ||
inputs | ||
LatexPackagesBuild@400daf229c | ||
.gitignore | ||
.gitlab-ci.yml | ||
.gitmodules | ||
.latexmkrc | ||
export_texinputs.sh | ||
jrpie-math.sty | ||
jrpie-yaref.sty | ||
logic2.tex | ||
logic.sty | ||
Makefile | ||
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 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.