do-masin
-
- 593 total downloads
- last updated 8/13/2023
- Latest version: 1.0.0
Package Description -
FolAutomReas
by: do-masin- Deprecated
- 353 total downloads
- last updated 9/16/2023
- Latest version: 1.0.3
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F# -
Calculemus
by: do-masin- 293 total downloads
- last updated 11/5/2023
- Latest version: 1.0.6
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F# -
Calcolemus
by: do-masin- Deprecated
- 282 total downloads
- last updated 10/26/2023
- Latest version: 1.0.5
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" ported in F#