Trains – leaderless total-order broadcast in Rust, formally verified

(github.com) by yeychenne | Jun 30, 2026 | 0 comments on HN