This coq library aims to formalize a substantial body of mathematics usi...
A framework for formally verifying distributed systems implementations i...
A library of abstract interfaces for mathematical structures in Coq [mai...
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Distributed Separation Logic: a framework for compositional verification...
Formalization of C++ for verification purposes.
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-c...
Hahn: A Coq library
This package provides a Coq formalization of abstract algebra using a fu...