formal-conjectures jozef-javorsky-dodo · COMPLETED
A collection of formalized statements of conjectures in Lean.
github.com/jozef-javorsky-dodo/formal-conjectures · ★ 1 · Forks 0 · Size 1.6 MB
SUMMARY
Technologies 4
Scored 4
Observed 4
Practices 6
Evidence 4
Skips 0
COVERAGE
Analyzed 524 files · 797 commits · 0 API calls
TECHNOLOGIES & DEPTH
JSON LANGUAGE Depth 70
3 files · PRODUCTION
Markdown LANGUAGE Depth 70
5 files · PRODUCTION
YAML LANGUAGE Depth 70
5 files · PRODUCTION
JavaScript LANGUAGE Depth 70
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2025-02-13
Last commit 2026-01-02
Active months 12
Commits 797