Coq-HoTT jamestiotio · COMPLETED
A Coq library for Homotopy Type Theory
github.com/jamestiotio/Coq-HoTT · ★ 1 · Forks 1 · Size 27.6 MB
SUMMARY
Technologies 5
Scored 5
Observed 5
Practices 6
Evidence 5
Skips 0
COVERAGE
Analyzed 645 files · 7399 commits · 0 API calls
TECHNOLOGIES & DEPTH
Shell LANGUAGE Depth 70
3 files · PRODUCTION
Markdown LANGUAGE Depth 70
4 files · PRODUCTION
YAML LANGUAGE Depth 70
1 files · PRODUCTION
Python LANGUAGE Depth 70
3 files · PRODUCTION
TypeScript LANGUAGE Depth 58
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · absentcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2011-03-26
Last commit 2025-10-02
Active months 164
Commits 7399