thelissimus Kei
github.com/thelissimus · maintains 2 packages (2 directly), sole maintainer of 1, member of 0 teams
2 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Nonstandard library for Cubical Agda |
0.5-unstable-2025-06-13 |
1 | 5 | 0 | 0 | single | ||
Tools for software verification and analysis |
1.5 |
2 | 9 | 0 | 0 | maintained |