Awesome Lists
Top Projects
Most Links
Search
About
Add Project
coq-in-coq
A formalisation of the Calculus of Constructions
GitHub
62
stars
13
watching
7
forks
Language:
Coq
last commit:
2 months ago