Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Metaprogramming, verified meta-theory and implementation of Rocq in Rocq
- coq
- metaprogramming
- coq-formalization
- rocq
Verified hash-based AMQ structures in Coq
- bloom-filter
- probability
- coq-formalization
- coq
A foundational framework for modular cryptographic proofs in Coq
- cryptography
- coq-library
- coq-formalization
- state-separating-proofs
The repository host gives no description.
- lecture
- floating-point
- coq-formalization
- ieee-754