mathlib4_copy Anionix · COMPLETED
The math library of Lean 4
github.com/Anionix/mathlib4_copy · ★ 0 · Forks 0 · Size 402.4 MB
SUMMARY
Technologies 11
Scored 11
Observed 11
Practices 6
Evidence 11
Skips 0
COVERAGE
Analyzed 8673 files · 31397 commits · 0 API calls
TECHNOLOGIES & DEPTH
Dockerfile LANGUAGE Depth 70
4 files · PRODUCTION
Shell LANGUAGE Depth 70
9 files · PRODUCTION
JSON LANGUAGE Depth 70
6 files · PRODUCTION
Markdown LANGUAGE Depth 70
29 files · PRODUCTION
TOML LANGUAGE Depth 70
2 files · PRODUCTION
YAML LANGUAGE Depth 70
59 files · PRODUCTION
Python LANGUAGE Depth 70
25 files · PRODUCTION
ESLint QUALITY Depth 69
2 files · CONFIGURATION
Prettier QUALITY Depth 65
1 files · CONFIGURATION
Redis CACHE Depth 81
6 files · CONFIGURATION
TypeScript LANGUAGE Depth 62
2 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · observedlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2021-05-09
Last commit 2026-05-06
Active months 62
Commits 31397