jack-pappas/fsharp-logic-examples
Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
F#NOASSERTION
Stargazers
- alanpog
- ArtAdiabatonauts
- bradjonescaNew York
- btbytesMicrosoft
- cdrnetSwitzerland
- CheeseTurtle
- CryptArchyNew Orleans, LA
- dagelee
- domasin
- doppioslashLiverpool, UK
- dzmitry-lahodaportugal
- EricGT
- fkaufer
- ForNeVeR@JetBrains
- haveaguessSlateIQ
- hejoco
- hodzanassredin
- ic3guyVancouver, British Columbia, Canada
- ilovejsSydney
- jackfoxyFoxy Labs
- jimmyrcomNorth Richland Hills, TX, 76180
- jonparish101Ways
- jrsnyderSplunk
- kolektivXyncro Ltd
- marciolSão Paulo, Brazil
- orendon
- PhDPUniversité de Montréal
- pillowsoftPillowSoft LLC
- RickasaurusHoboken, NJ
- stuarthillaryBirmingham, UK
- tantignac
- theburningmonkUK
- timvwICTEAM BV
- zagnut999
- zer
- zjiekai