leandag0.1.0
A Lean 4 + Mathlib formalization of uncertified DAG consensus (Mysticeti-style): machine-checked safety, liveness from eventual DAG synchrony, and five further arcs
1-1 of 1 versions of leandag
Sort by
Date
- 0.1
0.1.0v4.32.285.6 MB