106 packages · page 2 of 2
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Extended “Standard Library” for Rocq |
1.13.0 |
2 | 5 | 2 | 3 | maintained | ||
Enhanced unification algorithm for Coq |
1.6-9.1 |
0 | 4 | 1 | 1 | unmaintained | ||
ValidSDP |
1.1.1 |
0 | 12 | 0 | 0 | unmaintained | ||
Verified Extraction from Rocq to OCaml. Including a bootstrapped extraction plugin |
1.0.0-9.1 |
1 | 8 | 0 | 0 | single | ||
Language server for the vsrocq vscode/codium extension |
2.4.3 |
1 | 7 | 0 | 0 | single | ||
Wasm mechanisation in Coq/Rocq |
2.2.0 |
1 | 10 | 1 | 1 | single |