ineol Léo Stefanesco
github.com/ineol · maintains 3 packages (3 directly), sole maintainer of 1, member of 0 teams
3 packages
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Extended “Standard Library” for Rocq |
1.13.0 |
2 | 5 | 2 | 2 | maintained | ||
Rocq development of the Iris Project |
4.5.0 |
2 | 5 | 0 | 0 | maintained | ||
Library to create Coq record update functions |
0.3.6 |
1 | 4 | 0 | 0 | single |