ssreflect topic
List
ssreflect repositories
csclub-coq-course-spring-2021
53
Stars
13
Forks
Watchers
A course on formal verification at https://compsciclub.ru/en, Spring term 2021
pnp
154
Stars
17
Forks
Watchers
Lecture notes for a short course on proving/programming in Coq via SSReflect.
infotheo
61
Stars
15
Forks
Watchers
A Coq formalization of information theory and linear error-correcting codes
monae
67
Stars
10
Forks
Watchers
Monadic effects and equational reasonig in Coq
analysis
182
Stars
40
Forks
Watchers
Mathematical Components compliant Analysis Library
fourcolor
151
Stars
19
Forks
Watchers
Formal proof of the Four Color Theorem [maintainer=@ybertot]
disel
93
Stars
8
Forks
Watchers
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
extructures
30
Stars
6
Forks
Watchers
Finite sets and maps for Coq with extensional equality