8 results found Sort:
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Created
2014-03-01
10,217 commits to master branch, last one 5 days ago
A framework for formally verifying distributed systems implementations in Coq
Created
2014-11-15
1,287 commits to master branch, last one 14 days ago
Verified Software Toolchain
Created
2014-11-21
7,674 commits to master branch, last one 23 hours ago
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
Created
2011-05-13
727 commits to master branch, last one about a month ago
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Created
2011-06-21
1,833 commits to master branch, last one about a month ago
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Created
2016-11-18
194 commits to master branch, last one about a year ago
Formalization of C++ for verification purposes.
Created
2020-05-04
5,237 commits to master branch, last one a day ago
A foundational framework for modular cryptographic proofs in Coq
Created
2021-03-09
1,462 commits to main branch, last one 2 months ago