ConsensusResearch/flp

github.com/ConsensusResearch/flp/blob/master/flp.v

flp - Formalization of FLP Impossibility Theorem

Comments (0)

Sign in to post comments.