bend-lemmas caiodomingues · COMPLETED
Proven lemmas for Bend 2: Nat, List and Bool facts every PROOF.bend re-proves
github.com/caiodomingues/bend-lemmas · ★ 0 · Forks 0 · Size 23 KB
SUMMARY
Technologies 1
Scored 1
Observed 1
Practices 6
Evidence 1
Skips 0
COVERAGE
Analyzed 16 files · 9 commits · 0 API calls
TECHNOLOGIES & DEPTH
Markdown LANGUAGE Depth 70
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-09-19
Last commit 2026-09-22
Active months 1
Commits 9