womeier Wolfgang Meier
github.com/womeier · maintains 3 packages (3 directly), sole maintainer of 2, member of 0 teams
3 packages
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Wasm mechanisation in Coq/Rocq |
2.2.0 |
1 | 10 | 1 | 1 | single | ||
Total parser combinators in Rocq |
0.3.1 |
1 | 5 | 1 | 2 | single | ||
CertiRocq |
0.9.1+9.1 |
2 | 9 | 0 | 0 | maintained |