GitHub Awesome Search
Ranking
User
Stars this week
New repository
Trending Archive
User: HoTT
Coq-HoTT
in
44bits/awesome-opensource-documents
,
coq-community/awesome-coq
A Coq library for Homotopy Type Theory
updated at May 8, 2024, 4:27 p.m.
Coq
60
+0
1,218
+1
181
+0
GitHub
Sort: Recently updated
Most stars
Fewest stars
Most forks
Fewest forks
Most watchers
Fewest watchers
Recently created
Least recently created
Recently updated
Least recently updated
Most repositories
Fewest repositories
All languages
1
Coq
1