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