ncfavier / muri

A theorem prover for intuitionistic propositional logic

6201

ncfavier/muri Stargazers

Chris Pressey
cpressey
Marco Z
ocramz
Rahul Chhabra
rahulc29
Tim Kersey
tkersey
Josh Miller
velveteer
Xavier Pinho
xavierpinho

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.