jack-pappas/fsharp-logic-examples
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
F#NOASSERTION
Watchers
- Arkantus
- ArtAdiabatonauts
- AtriyaTroy, New York, USA
- bradjonescaNew York
- dungpaLondon, UK
- FranklinChenCarnegie Mellon University
- hejoco
- jack-pappasPhiladelphia, PA, USA
- jackfoxyFoxy Labs
- jdh30
- jhcloos
- kziemskiQCOMPUTE
- mselenderMe
- RickasaurusHoboken, NJ
- sergshabal
- SeshatCZCzech republic
- TonyAbellSanta Monica
- veikkoeeva
- voronoipotatoNC