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

 (github.com)

3 points | by yeychenne 1 hour ago

2 comments

  • Chu4eeno 28 minutes ago
    Did you confirm the verification with your own eyes? The verification report `bgagent` committed is very typical for hallucination (emojis, detailed timings, bold everywhere).
  • yeychenne 1 hour ago
    [flagged]