mbk/formal
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
basic formal proof fun
3 commits 1 branch 0 tags 33 KiB
Scheme 100%
Find a file
mehbark 9f80fc1bcf feat: prettification
2025-02-20 23:38:00 -05:00
formal.scm feat: prettification 2025-02-20 23:38:00 -05:00