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