Geeks
ncfavier
/
muri
A theorem prover for intuitionistic propositional logic
Primary Language
Haskell
ISC License
ISC
muri GitHub
Markdown
Readme
0
Issues
7
Stargazers
2
Watchers
Stargazers
cpressey
Office... submarine!
nclarius
KDE
ocramz
@unfoldml
rahulc29
tkersey
@thisisartium
velveteer
H-E-B
xavierpinho
Braga, Portugal