3 ms·Show HN: Trains – leaderless total-order broadcast in Rust, formally verified4 points by yeychenne 3mo agoyeychenne 3mo ago[flagged]Chu4eeno 3mo agoDid you confirm the verification with your own eyes? The verification report `bgagent` committed is very typical for hallucination (emojis, detailed timings, bold everywhere).yeychenne 3mo ago[flagged]