Awesome Lists
Top Projects
Most Links
Search
About
Add Project
coq-lecture-notes
Coq Lecture Notes (WIP)
GitHub
49
stars
12
watching
10
forks
Language:
Coq
last commit:
almost 4 years ago