do-masin
-
- 587 total downloads
- last updated 8/13/2023
- Latest version: 1.0.0
Package Description -
FolAutomReas
by: do-masin- Deprecated
- 343 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- 286 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
- 276 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#