106 packages · page 2 of 2
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Collection of theories and plugins that may be useful in other Coq developments |
0.13.2 |
2 | 5 | 18 | 30 | maintained | ||
A framework for smart contract verification in Rocq |
1.0.1 |
1 | 9 | 0 | 0 | single | ||
CoLoR is a library of formal mathematical definitions and proofs of theorems on rewriting theory and termination whose correctness has been mechanically checked by the Coq proof assistant |
1.8.6 |
2 | 5 | 0 | 0 | maintained | ||
20230107 |
0 | 5 | 0 | 0 | unmaintained | |||
CertiRocq |
0.9.1+9.1 |
2 | 9 | 0 | 0 | maintained | ||
CakeML backend for Peregrine |
0.1.0 |
1 | 7 | 0 | 0 | single |