w23-logic-2 /

.ci/build_document.sh

.ci/git-info-2.sh

.gitea/workflows/build.yaml

.gitlab-ci.yml

.latexmkrc

export_texinputs.sh

inputs/.gitkeep

inputs/intro.tex

inputs/lecture_01.tex

jrpie-math.sty

jrpie-yaref.sty

logic.sty

logic2.tex

Makefile

README.md

No matching file found