CohenCyril Cyril Cohen
github.com/CohenCyril · maintains 33 packages (33 directly), sole maintainer of 23, member of 0 teams
33 packages
| Package ▲ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Rocq plugin embedding ELPI |
3.5.0 |
1 | 5 | 2 | 46 | single | ||
High level commands to declare a hierarchy based on packed classes |
1.10.3 |
2 | 5 | 15 | 45 | maintained | ||
2.5.0 |
3 | 7 | 0 | 0 | maintained | |||
2.5.0 |
3 | 8 | 11 | 26 | maintained | |||
Ring and field tactics for Mathematical Components |
1.2.7 |
1 | 8 | 3 | 3 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 9 | 3 | 4 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 8 | 1 | 1 | single | ||
2.5.0 |
3 | 6 | 17 | 44 | maintained | |||
2.5.0 |
3 | 7 | 2 | 2 | maintained | |||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 7 | 1 | 9 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 7 | 1 | 1 | single | ||
2.5.0 |
3 | 7 | 5 | 12 | maintained | |||
2.5.0 |
3 | 7 | 9 | 29 | maintained | |||
2.5.0 |
3 | 7 | 2 | 32 | maintained | |||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 6 | 2 | 8 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 7 | 3 | 4 | single | ||
2.5.0 |
3 | 7 | 1 | 13 | maintained | |||
Micromega tactics for Mathematical Components |
1.7.0+2.4+9.0 |
1 | 8 | 1 | 4 | single | ||
1.5.1-9.1 |
1 | 11 | 0 | 0 | single | |||
1.5.1-9.1 |
1 | 8 | 2 | 19 | single | |||
1.5.1-9.1 |
1 | 10 | 7 | 11 | single | |||
1.5.1-9.1 |
1 | 10 | 4 | 4 | single | |||
1.5.1-9.1 |
1 | 8 | 3 | 16 | single | |||
1.5.1-9.1 |
1 | 10 | 1 | 1 | single | |||
1.5.1-9.1 |
1 | 8 | 2 | 13 | single | |||
1.5.1-9.1 |
1 | 10 | 2 | 2 | single | |||
1.5.1-9.1 |
1 | 9 | 4 | 14 | single | |||
1.5.1-9.1 |
1 | 8 | 6 | 16 | single | |||
1.5.1-9.1 |
1 | 8 | 1 | 1 | single | |||
1.5.1-9.1 |
1 | 7 | 2 | 21 | single | |||
Rocqnavi: an HTML documentation generator for Rocq prover |
0.5.0 |
1 | 4 | 0 | 0 | single | ||
2.5.0 |
3 | 8 | 5 | 10 | maintained | |||
Language server for the vsrocq vscode/codium extension |
2.4.3 |
1 | 7 | 0 | 0 | single |