phanerozoic/Coq-HoTT
Viewer
•
Updated
•
7.85k
•
80
•
2
Coq Projects
Digesting Coq libraries for AI ingestion.
-
-
phanerozoic/Coq-HoTT-QA
Viewer • Updated • 7.83k • 185 -
phanerozoic/Coq-UniMath
Viewer • Updated • 38.7k • 45 -
phanerozoic/Coq-UniMath-QA
Viewer • Updated • 38.6k • 37 • 1 -
phanerozoic/Coq-MetaCoq
Viewer • Updated • 10.5k • 43 -
phanerozoic/Coq-MetaCoq-QA
Viewer • Updated • 10.5k • 29 -
phanerozoic/Coq-Changelog
Viewer • Updated • 411 • 13 -
phanerozoic/Coq-Changelog-QA
Viewer • Updated • 822 • 11