Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
A framework for formally verifying distributed systems implementations in Coq
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework