Awesome Lists
Top Projects
Most Links
Search
About
Add Project
System-F-Coq
System F in coq.
GitHub
19
stars
4
watching
0
forks
Language:
Coq
last commit:
over 9 years ago