Show HN: FLP Impossibility Theorem Proof in Coqgithub.com/ConsensusResearch38 pointskushti11 years ago