sertel Sebastian Ertel
github.com/sertel · maintains 1 packages (1 directly), sole maintainer of 1, member of 0 teams
1 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq |
0.3.1 |
1 | 11 | 0 | 0 | single |