104 packages · page 2 of 2
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
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 |