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