Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/jack-pappas/fsharp-logic-examples

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
https://github.com/jack-pappas/fsharp-logic-examples

Last synced: 20 days ago
JSON representation

Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.

Awesome Lists containing this project