ionchy/proof-graphs
Watch
1
0
Fork
You've already forked proof-graphs
 0
Code Activity
Natural deduction proofs as directed acyclic proof graphs
2 commits 1 branch 0 tags 44 KiB
  • Typst 100%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Jonathan Chan acd71b2756 Linted Typst
2026-08-05 16:02:36 -04:00
.gitignore Initial commit 2026-08-05 15:15:25 -04:00
main.typ Linted Typst 2026-08-05 16:02:36 -04:00
main.yaml Initial commit 2026-08-05 15:15:25 -04:00