Geeks
euisuny
/
dprop
A deep embedding of propositional logic in Coq
Primary Language
Coq
dprop Home Page
dprop GitHub
Markdown
Readme
0
Issues
0
Stargazers
0
Watchers
No issues in this repository yet.