Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for coq formalization
coq-formalization
x
15 search results found
Metacoq
⭐
344
Metaprogramming, verified meta-theory and implementation of Coq in Coq
Ceramist
⭐
122
Verified hash-based AMQ structures in Coq
Iron
⭐
121
Coq formalizations of functional languages.
Brick
⭐
57
Formalization of C++ for verification purposes.
Lvc
⭐
51
LVC verified compiler
Ssprove
⭐
43
A foundational framework for modular cryptographic proofs in Coq
Velus
⭐
34
A Lustre compiler in Coq
Dot Iris
⭐
29
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
Polcert
⭐
15
A verified polyhedral scheduling validator in Coq.
Coqtm
⭐
10
Formalising Turing Machines In Coq (bachelor's thesis)
Grobner
⭐
9
A fornalisation of Grobner basis in ssreflect
Automatik
⭐
8
A library of formalized automaton algorithms
Lemonde
⭐
7
les problèmes proposés par le journal Le Monde en Coq
Flocqlecture
⭐
6
Vpl
⭐
5
Verimag Polyhedra Library
Related Searches
Theorem Proving Coq Formalization (5)
Ocaml Coq Formalization (4)
Formal Verification Coq Formalization (4)
Lambda Calculus Coq Formalization (3)
1-15 of 15 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.