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

**Brief Summary (2‑3 sentences)** *Trains* is a Rust library that implements a leaderless total‑order broadcast protocol, and its correctness is backed by forma