jack-pappas/fsharp-logic-examples
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
F#NOASSERTION
Issues
- 0
Upgrade projects to .NET Core 2.0
#1 opened by jack-pappas
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
F#NOASSERTION