ejgallego
Follow
Stars
Mathematical Components compliant Analysis Library
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
A formalization of geometry in Coq based on Tarski's axiom system
Formal proof of the Four Color Theorem [maintainer=@ybertot]
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
Foundational Cryptography Framework for machine-checked proofs of cryptography.
Finite sets, finite maps, multisets and generic sets
Coq plugin for parametricity [maintainer=@proux01]
Class instances for Coq inductive types with little boilerplate