lean-dag gdanezis · COMPLETED
A Lean 4 + Mathlib formalization of uncertified DAG consensus (Mysticeti-style): machine-checked safety, liveness from eventual DAG synchrony, and five further arcs
github.com/gdanezis/lean-dag · ★ 10 · Forks 5 · Size 19.8 MB
SUMMARY
Technologies 8
Scored 8
Observed 8
Practices 6
Evidence 8
Skips 0
COVERAGE
Analyzed 792 files · 996 commits · 0 API calls
TECHNOLOGIES & DEPTH
Shell LANGUAGE Depth 70
4 files · PRODUCTION
JavaScript LANGUAGE Depth 70
3 files · PRODUCTION
JSON LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
32 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
YAML LANGUAGE Depth 70
3 files · PRODUCTION
Python LANGUAGE Depth 70
14 files · PRODUCTION
Redis CACHE Depth 65
1 files · CONFIGURATION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-08-03
Last commit 2026-10-16
Active months 3
Commits 996