Awesome Lists
Top Projects
Most Links
Search
About
Add Project
Coq-Kruskal
Description of the Coq-Kruskal project with a map and pointers
GitHub
[Embed]
0
stars
1
watching
0
forks
last commit:
4 months ago
Linked from
1 awesome list
Backlinks from these awesome lists:
coq-community/awesome-coq