Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for coq library
coq-library
x
21 search results found
Unimath
⭐
888
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Verdi
⭐
559
A framework for formally verifying distributed systems implementations in Coq
Vst
⭐
407
Verified Software Toolchain
Math Classes
⭐
157
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
Corn
⭐
108
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
Disel
⭐
92
Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq
Brick
⭐
57
Formalization of C++ for verification purposes.
Topology
⭐
45
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cra
Ssprove
⭐
43
A foundational framework for modular cryptographic proofs in Coq
Hahn
⭐
27
Hahn: A Coq library
Fcsl Pcm
⭐
22
Partial Commutative Monoids
Cheerios
⭐
22
Formally verified Coq serialization library with support for extraction to OCaml
Structtact
⭐
21
Coq utility and tactic library.
Coqoban
⭐
21
Sokoban (in Coq) [maintainer=@erikmd]
Bits
⭐
21
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
Infseqext
⭐
13
A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators
Qarith Stern Brocot
⭐
12
Binary rational numbers in Coq [maintainer=@herbelin]
Validsdp
⭐
9
A Coq tactic for proving multivariate inequalities using SDP solvers
Generic Environments
⭐
6
Generic_Environments is a library that provides an abstract data type for environments [maintainer=@aerabi]
Coq Plugin Lib
⭐
6
Library of useful utility functions for Coq plugins
Zorns Lemma
⭐
5
Archived since the contents have been moved to the topology repository
Related Searches
Ocaml Coq Library (4)
Mathematics Coq Library (3)
Coq Library Separation Logic (3)
1-21 of 21 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.