Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for coq extraction
coq-extraction
x
4 search results found
Chapar
⭐
32
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Bits
⭐
21
A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
Huffman
⭐
14
Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]
Buchberger
⭐
8
Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
Related Searches
Ocaml Coq Extraction (4)
Nix Action Coq Extraction (4)
Algorithms Coq Extraction (4)
1-4 of 4 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.