do-masin
-
FolAutomReas
by: do-masin- Deprecated
- 269 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- 240 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
- 236 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#