mbk/formal
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
basic formal proof fun
6 commits 1 branch 0 tags 33 KiB
Scheme 100%
Find a file
mehbark b9d22298ea fix: many tweaks
2025-02-21 11:44:05 -05:00
formal.scm fix: many tweaks 2025-02-21 11:44:05 -05:00