jpas Jarrod Pas
github.com/jpas · maintains 1 packages (1 directly), sole maintainer of 0, member of 0 teams
1 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
CoLoR is a library of formal mathematical definitions and proofs of theorems on rewriting theory and termination whose correctness has been mechanically checked by the Coq proof assistant |
1.8.6 |
2 | 5 | 0 | 0 | maintained |