damhiya SoonWon Moon
github.com/damhiya · 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 |
|---|---|---|---|---|---|---|---|---|
Ordinal Numbers in Coq |
0.5.6 |
1 | 5 | 0 | 0 | single | ||
Support library for verified Coq parsers produced by Menhir |
20260203 |
1 | 5 | 2 | 5 | single |