System-F-Coq

System F in coq.

GitHub

19 stars
4 watching
0 forks
Language: Coq
last commit: over 9 years ago