Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with coq-formalization
A curated list of projects in awesome lists tagged with coq-formalization .
https://github.com/MetaCoq/metacoq
Metaprogramming, verified meta-theory and implementation of Coq in Coq
coq coq-formalization metaprogramming
Last synced: 01 Aug 2024
https://github.com/amintimany/Categories
A formalization of category theory in the Coq proof assistant.
adjunctions categories category-theory coq coq-formalization kan-extensions library proof-assistant topos
Last synced: 02 Aug 2024
https://github.com/SSProve/ssprove
A foundational framework for modular cryptographic proofs in Coq
coq-formalization coq-library cryptography formal-verification modular-cryptographic-proofs state-separating-proofs
Last synced: 04 Aug 2024
https://github.com/thery/GeometricAlgebra
Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/
coq-formalization geometric-algebra
Last synced: 04 Aug 2024
