ssreflect topic
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
extructures
Finite sets and maps for Coq with extensional equality