CohenCyril Cyril Cohen
github.com/CohenCyril · maintains 33 packages (33 directly), sole maintainer of 23, member of 0 teams
23 packages
| Package ▼ | Version | Maintainers | # | Teams | Deps | Used by | Used by (transitive) | Status |
|---|---|---|---|---|---|---|---|---|
Language server for the vsrocq vscode/codium extension |
2.4.3 |
1 | 7 | 0 | 0 | single | ||
Rocqnavi: an HTML documentation generator for Rocq prover |
0.5.0 |
1 | 4 | 0 | 0 | single | ||
1.5.1-9.1 |
1 | 7 | 2 | 21 | single | |||
1.5.1-9.1 |
1 | 8 | 1 | 1 | single | |||
1.5.1-9.1 |
1 | 8 | 6 | 16 | single | |||
1.5.1-9.1 |
1 | 9 | 4 | 14 | single | |||
1.5.1-9.1 |
1 | 10 | 2 | 2 | single | |||
1.5.1-9.1 |
1 | 8 | 2 | 13 | single | |||
1.5.1-9.1 |
1 | 10 | 1 | 1 | single | |||
1.5.1-9.1 |
1 | 8 | 3 | 16 | single | |||
1.5.1-9.1 |
1 | 10 | 4 | 4 | single | |||
1.5.1-9.1 |
1 | 10 | 7 | 11 | single | |||
1.5.1-9.1 |
1 | 8 | 2 | 19 | single | |||
1.5.1-9.1 |
1 | 11 | 0 | 0 | single | |||
Micromega tactics for Mathematical Components |
1.7.0+2.4+9.0 |
1 | 8 | 1 | 4 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 7 | 3 | 4 | single | ||
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 | 1 | 1 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 7 | 1 | 9 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 8 | 1 | 1 | single | ||
Analysis library compatible with Mathematical Components |
1.16.0 |
1 | 9 | 3 | 4 | single | ||
Ring and field tactics for Mathematical Components |
1.2.7 |
1 | 8 | 3 | 3 | single | ||
Rocq plugin embedding ELPI |
3.5.0 |
1 | 5 | 2 | 46 | single |