8 results found Sort:

174
961
other
57
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Created 2014-03-01
10,264 commits to master branch, last one 3 days ago
56
590
bsd-2-clause
67
A framework for formally verifying distributed systems implementations in Coq
Created 2014-11-15
1,287 commits to master branch, last one 6 months ago
Verified Software Toolchain
Created 2014-11-21
7,697 commits to master branch, last one 2 months ago
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]
Created 2011-05-13
733 commits to master branch, last one 17 days ago
44
111
gpl-2.0
14
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
Created 2011-06-21
1,845 commits to master branch, last one 2 days ago
7
95
bsd-2-clause
13
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Created 2016-11-18
198 commits to master branch, last one 3 months ago
Formalization of C++ for verification purposes.
Created 2020-05-04
5,384 commits to master branch, last one 9 days ago
A foundational framework for modular cryptographic proofs in Coq
Created 2021-03-09
1,468 commits to main branch, last one 20 days ago