A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
Repository Index
47,133 repositories indexed
1–4 of 4 · Most stars
Library to create Coq record update functions
The formal proof of the Odd Order Theorem
- coq
- ssreflect
- mathcomp
- feit-thompson-theorem
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action