Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: 19 days ago
JSON representation
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
- Host: GitHub
- URL: https://github.com/jack-pappas/fsharp-logic-examples
- Owner: jack-pappas
- License: other
- Created: 2012-09-18T13:17:06.000Z (about 12 years ago)
- Default Branch: master
- Last Pushed: 2017-01-17T20:39:04.000Z (almost 8 years ago)
- Last Synced: 2024-05-29T20:23:44.267Z (6 months ago)
- Language: F#
- Size: 4.92 MB
- Stars: 169
- Watchers: 19
- Forks: 16
- Open Issues: 1