best-of-lean4 Agnuxo1 · COMPLETED
A list of awesome lean4 projects. Feel free to add your project.
github.com/Agnuxo1/best-of-lean4 · ★ 2 · Forks 0 · Size 2.7 MB
SUMMARY
Technologies 4
Scored 4
Observed 4
Practices 6
Evidence 4
Skips 0
COVERAGE
Analyzed 75 files · 128 commits · 0 API calls
TECHNOLOGIES & DEPTH
Markdown LANGUAGE Depth 70
38 files · PRODUCTION
JSON LANGUAGE Depth 70
1 files · PRODUCTION
YAML LANGUAGE Depth 70
6 files · PRODUCTION
Prettier QUALITY Depth 55
1 files · CONFIGURATION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2023-11-11
Last commit 2026-04-30
Active months 23
Commits 128