Geeks
coq-contribs
/
pi-calc
Pi-calculus in Coq
Primary Language
Coq
pi-calc GitHub
Markdown
Readme
0
Issues
10
Stargazers
2
Watchers
No issues in this repository yet.