seereason/atp-haskell
Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
HaskellNOASSERTION
Stargazers
- akhileshsSan Francisco, CA
- doppioslashLiverpool, UK
- efvincent-aetionGreensboro, NC
- Gauntlet173Thomson Reuters
- googya
- jaalonsoUniversidad de Sevilla
- javiermtorresBrainific SL
- karimamerLos angeles
- markfarrellCanada
- Matthew-MosiorAustin, TX
- minghongxAmsterdam, Universiteit van
- momohattTokyo
- orionsread
- sp0oksSão Carlos, São Paulo, Brazil
- TeamSPoon@TeamSPoon
- yanokZurich, Switzerland