LeanGeospatial yuiseki · COMPLETED
A small formal system in Lean 4 for machine-checking spatial claims with RCC8 and DE-9IM.
github.com/yuiseki/LeanGeospatial · ★ 2 · Forks 0 · Size 518 KB
SUMMARY
Technologies 6
Scored 6
Observed 6
Practices 6
Evidence 6
Skips 0
COVERAGE
Analyzed 92 files · 47 commits · 0 API calls
TECHNOLOGIES & DEPTH
Shell LANGUAGE Depth 70
1 files · PRODUCTION
JSON LANGUAGE Depth 70
2 files · PRODUCTION
Markdown LANGUAGE Depth 70
2 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
YAML LANGUAGE Depth 70
1 files · PRODUCTION
Python LANGUAGE Depth 70
5 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2025-03-02
Last commit 2026-10-03
Active months 3
Commits 47