Ptival Valentin Robert
github.com/Ptival · maintains 2 packages (2 directly), sole maintainer of 0, member of 0 teams
2 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Collection of theories and plugins that may be useful in other Coq developments |
0.13.2 |
2 | 5 | 18 | 30 | maintained | ||
Coq library implementing parameterized coinduction |
4.2.3 |
2 | 5 | 1 | 3 | maintained |