do-masin
-
FolAutomReas
by: do-masin- Deprecated
- 273 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- 242 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
- 238 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#