coq-library topic
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
verdi
A framework for formally verifying distributed systems implementations in Coq
VST
Verified Software Toolchain
math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
disel
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
BRiCk
Formalization of C++ for verification purposes.
functional-algebra
This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both a...
bits
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
fcsl-pcm
Partial Commutative Monoids