LeanGeodesy yuiseki · COMPLETED
Machine-checked foundations of geodetic coordinates, map projections, CRSs and great-circle distance in Lean 4 with Mathlib.
github.com/yuiseki/LeanGeodesy · ★ 1 · Forks 0 · Size 357 KB
SUMMARY
Technologies 6
Scored 6
Observed 6
Practices 6
Evidence 6
Skips 0
COVERAGE
Analyzed 129 files · 100 commits · 0 API calls
TECHNOLOGIES & DEPTH
Shell LANGUAGE Depth 70
2 files · PRODUCTION
JSON LANGUAGE Depth 70
5 files · PRODUCTION
Markdown LANGUAGE Depth 70
3 files · PRODUCTION
TOML LANGUAGE Depth 70
4 files · PRODUCTION
YAML LANGUAGE Depth 70
2 files · PRODUCTION
Python LANGUAGE Depth 70
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-09-25
Last commit 2026-09-29
Active months 1
Commits 100