jack-pappas / fsharp-logic-examples

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

Related projects

Alternatives and complementary repositories for fsharp-logic-examples