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

inputs/lecture_02.tex

inputs/lecture_03.tex

inputs/lecture_04.tex

inputs/lecture_05.tex

inputs/lecture_06.tex

inputs/lecture_07.tex

inputs/lecture_08.tex

inputs/lecture_09.tex

inputs/lecture_10.tex

inputs/lecture_11.tex

inputs/lecture_12.tex

inputs/lecture_13.tex

inputs/lecture_14.tex

inputs/tutorial_02.tex

jrpie-math.sty

jrpie-yaref.sty

logic.sty

logic2.tex

Makefile

README.md

No matching file found