fsharp-logic-examples
fsharp-logic-examples copied to clipboard
jack-pappas
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
Results
1
fsharp-logic-examples issues
Sort by
recently updated
recently updated
newest added
Reminder to upgrade projects to the new, simpler project format used for MSBuild when targeting .NET Core 2.0, then modify them to target ``netstandard20`` instead of ``net461``. Once this is...
Metadata
171
Stars
16
Forks
Watchers
Owner
Metadata
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.