mbk/formal
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
basic formal proof fun
1 commit 1 branch 0 tags 33 KiB
Scheme 100%
Find a file
mehbark 761a18c4f9 crud to remove
2025-02-20 22:26:09 -05:00
formal.scm crud to remove 2025-02-20 22:26:09 -05:00