Geeks
hrb90
/
wang
A theorem prover for classical propositional logic
Primary Language
PureScript
wang GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
Watchers
jhcloos
hrb90
Washington, DC