2Show HN: Formally Verified Leaderless Log Protocol for Kafka (opens in new tab)(github.com)5sijieg1mo ago1