Geeks
JacksonGariety
/
derivation-machine
Propositional calculus in Haskell
Primary Language
Haskell
derivation-machine Home Page
derivation-machine GitHub
Markdown
Readme
0
Issues
11
Stargazers
2
Watchers
Watchers
eemailme
jhcloos