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 0868e6c931 Format for public ... i.e. include Aaron Stump as author		2026-08-06 11:36:48 -04:00
.gitattributes	Track PDF	2026-08-05 19:53:41 -04:00
main.pdf	Format for public	2026-08-06 11:36:48 -04:00
main.typ	Format for public	2026-08-06 11:36:48 -04:00
main.yaml	Initial commit	2026-08-05 15:15:25 -04:00