proux01 Pierre ROux
github.com/proux01 · maintains 6 packages (6 directly), sole maintainer of 1, member of 0 teams
6 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Coq library of Partial Commutative Monoids |
2.2.0 |
1 | 6 | 0 | 0 | single | ||
Jasmin language & verified compiler |
2026.03.3 |
2 | 7 | 0 | 0 | maintained | ||
Rocq Prover |
9.1.1 |
4 | 6 | 29 | 107 | maintained | ||
Rocq Prover |
9.0.1 |
4 | 6 | 1 | 1 | maintained | ||
Rocq Prover |
9.2.0 |
4 | 9 | 1 | 2 | maintained | ||
Rocq Prover |
9.3.0 |
4 | 9 | 1 | 1 | maintained |