Geeks
TypicalMath
/
prop-calc
Propositional Calculus in Coq by Floris van Doorn
Primary Language
Coq
prop-calc Home Page
prop-calc GitHub
Markdown
Readme
0
Issues
3
Stargazers
1
Watcher
This repository is not active