Coq
Coq is a formal proof management system.
Looking for support
We’ve sourced, indexed, and packaged millions of open source packages into curated funds dedicated to supporting the work of the most critical projects in their respective ecosystems
Support the maintainers behind the most critical components in the Coq ecosystem today
| Project | Downloads | Dependent Repos | Dependent Packages |
|---|---|---|---|
|
1.33K | 3 | 0 |
|
732 | 0 | 2 |
|
288 | 0 | 0 |
|
207 | 10 | 3 |
|
13 | 0 | 0 |
|
0 | 147 | 0 |
|
0 | 0 | 1 |
Projects considered for this fund have one of the following topics or keywords: coq.