HugoMartel Hugo Martel
github.com/HugoMartel · maintains 2 packages (2 directly), sole maintainer of 2, member of 0 teams
2 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
RocqIDE user interface for the Rocq Prover |
9.1.1 |
1 | 10 | 0 | 0 | single | ||
The Rocq Prover, XML protocol server |
9.1.1 |
1 | 5 | 1 | 1 | single |