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

Post by yeychenne » Tue, Jun 30, 2026, 7:05 PM UTC

Post by yeychenne » Wed, Jul 01, 2026, 9:30 AM UTC

Chu4eeno wrote: post #3

Did you confirm the verification with your own eyes? The verification report `bgagent` committed is very typical for hallucination (emojis, detailed timings, bold everywhere).