Badges | Anaconda.org

conda-forge / packages / coq

0

Coq is a formal proof management system

Click on a badge to see how to embed it in your web page

https://anaconda.org/conda-forge/coq/badges/version.svg

https://anaconda.org/conda-forge/coq/badges/latest_release_date.svg

https://anaconda.org/conda-forge/coq/badges/latest_release_relative_date.svg

https://anaconda.org/conda-forge/coq/badges/platforms.svg

https://anaconda.org/conda-forge/coq/badges/license.svg

https://anaconda.org/conda-forge/coq/badges/downloads.svg