/flp

Formalization of FLP Impossibility Theorem

Primary LanguageCoq

Stargazers