Skip to content

Add Cslib/Computability/Distributed/FLP/Consensus.lean to this PR

40b83b2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

feat(FLP): distributed algorithms for solving the consensus problem #556

Add Cslib/Computability/Distributed/FLP/Consensus.lean to this PR
40b83b2
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
ci-checks
succeeded May 30, 2026 in 5m 28s