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

• Posted 3 hours ago by yeychenne
• 3 points