Geeks
acowley
/
LinearLogic
A simple development of linear logic in Coq.
Primary Language
Coq
LinearLogic GitHub
Markdown
Readme
0
Issues
12
Stargazers
6
Watchers
No issues in this repository yet.