Natural deduction proofs as directed acyclic proof graphs

Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Jonathan Chan 10fc7407d2 Typos		2026-10-19 15:03:02 -04:00
.gitattributes	Track PDF	2026-08-05 19:53:41 -04:00
main.pdf	Typos	2026-10-19 15:03:02 -04:00
main.typ	Typos	2026-10-19 15:03:02 -04:00
main.yaml	Initial commit	2026-08-05 15:15:25 -04:00