proofs_with_lean jozef-javorsky-dodo · COMPLETED
An introduction to proofs with Lean using controled natural language
github.com/jozef-javorsky-dodo/proofs_with_lean · ★ 1 · Forks 0 · Size 118 KB
SUMMARY
Technologies 3
Scored 3
Observed 3
Practices 6
Evidence 3
Skips 0
COVERAGE
Analyzed 21 files · 14 commits · 0 API calls
TECHNOLOGIES & DEPTH
Markdown LANGUAGE Depth 70
1 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
JSON LANGUAGE Depth 70
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · absentcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2025-04-02
Last commit 2025-04-22
Active months 1
Commits 14