Coda-Coda Daniel Britten
github.com/Coda-Coda · 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 |
|---|---|---|---|---|---|---|---|---|
Automatic and interactive theorem prover |
4.34.1 |
4 | 10 | 0 | 0 | maintained |