cu1ch3n Chen Cui
github.com/cu1ch3n · 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 |
|---|---|---|---|---|---|---|---|---|
Tool for generating de Bruijn boilerplate Coq code to handle substitutions in languages with binders |
0-unstable-2022-07-04 |
1 | 9 | 0 | 0 | single | ||
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott |
0-unstable-2024-10-22 |
1 | 7 | 0 | 0 | single |