Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
conda-forge.org : coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Registry
-
Source
- Homepage
- JSON
purl: pkg:conda/coq
Keywords: coq, dependent-types, proof-assistant, theorem-proving
License: LGPL-2.1-only
Latest release: over 3 years ago
First release: over 5 years ago
Dependent packages: 1
Stars: 4,121 on GitHub
Forks: 596 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 16 days ago