Mathematical Components topic
Mathematical Components is a repository of formalized mathematics developed using the Coq proof assistant. This project finds its roots in the formal proof of the Four Color Theorem. It has been used for large scale formalization projects, including a formal proof of the Odd Order (Feit-Thompson) Theorem.
csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
infotheo
A Coq formalization of information theory and linear error-correcting codes
monae
Monadic effects and equational reasonig in Coq
analysis
Mathematical Components compliant Analysis Library
fourcolor
Formal proof of the Four Color Theorem [maintainer=@ybertot]
disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
hierarchy-builder
High level commands to declare a hierarchy based on packed classes
coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]