Bram
/
new-lang
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
14 Commits
2 Branches
0 Tags
90 KiB
Commit Graph

1 Commits (dev)

Author SHA1 Message Date
Bram van den Heuvel fa9d4f0a83 Add new design for proof checker 2026-07-09 12:38:37 +02:00