Mathematical Components
- coq
- ssreflect
- mathcomp
- coq-formalization
Repository Index
47,133 repositories indexed
1–7 of 7 · Most stars
Visual Studio Code extension for Rocq
A function definition package for Rocq
- coq
- programming-language
- dependent-types
- rocq
A Verified Compiler for Gallina, Written in Gallina
A mechanisation of Wasm in Rocq
- webassembly
- wasm
- coq
- rocq-prover
Micromega tactics for Mathematical Components
- coq
- ssreflect
- mathcomp
- proof-automation
Stable sort algorithms and their stability proofs in Rocq
- mathcomp
- ssreflect
- sorting-algorithms
- mergesort