ten-proofs kyr0 · COMPLETED
Lean certificates accompanying proofs in mathematics and theoretical computer science
github.com/kyr0/ten-proofs · ★ 0 · Forks 0 · Size 2.4 MB
SUMMARY
Technologies 4
Scored 4
Observed 4
Practices 6
Evidence 4
Skips 0
COVERAGE
Analyzed 43 files · 1 commits · 0 API calls
TECHNOLOGIES & DEPTH
JSON LANGUAGE Depth 70
13 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
2 files · PRODUCTION
YAML LANGUAGE Depth 70
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · absentcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-08-01
Last commit 2026-08-01
Active months 1
Commits 1