About Anaconda Help Download Anaconda
Sign In
Anaconda.com
If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication. ×
If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication. ×

conda-forge / packages / coq

Coq is a formal proof management system

Filters
Type Size Name Uploaded Downloads Labels
conda 108.9 MB | osx-64/coq-8.12.2-h694c41f_0.tar.bz2  5 years and 3 months ago 512 main
conda 139.0 MB | linux-64/coq-8.12.2-ha770c72_0.tar.bz2  5 years and 3 months ago 29935 main
conda 101.2 MB | osx-64/coq-8.12.0-0.tar.bz2  5 years and 9 months ago 404 main
conda 128.5 MB | linux-64/coq-8.12.0-0.tar.bz2  5 years and 9 months ago 4937 main
conda 122.2 MB | linux-64/coq-8.11.2-0.tar.bz2  5 years and 11 months ago 4656 main
conda 95.8 MB | osx-64/coq-8.11.2-0.tar.bz2  5 years and 11 months ago 387 main
conda 122.1 MB | linux-64/coq-8.11.1-0.tar.bz2  6 years and 20 days ago 4641 main
conda 95.8 MB | osx-64/coq-8.11.1-0.tar.bz2  6 years and 20 days ago 384 main
conda 95.9 MB | osx-64/coq-8.11.0-1.tar.bz2  6 years and 2 months ago 432 main cf202003
conda 122.3 MB | linux-64/coq-8.11.0-1.tar.bz2  6 years and 2 months ago 4777 main cf202003
conda 95.9 MB | osx-64/coq-8.11.0-0.tar.bz2  6 years and 2 months ago 391 main cf202003
conda 122.2 MB | linux-64/coq-8.11.0-0.tar.bz2  6 years and 2 months ago 4847 main cf202003
conda 92.4 MB | osx-64/coq-8.10.1-0.tar.bz2  6 years and 4 months ago 427 main cf202003
conda 118.0 MB | linux-64/coq-8.10.1-0.tar.bz2  6 years and 4 months ago 5116 main cf202003
conda 86.4 MB | osx-64/coq-8.9.1-1.tar.bz2  6 years and 10 months ago 455 main cf202003
conda 109.6 MB | linux-64/coq-8.9.1-1.tar.bz2  6 years and 10 months ago 5533 main cf202003
conda 86.6 MB | osx-64/coq-8.9.1-0.tar.bz2  6 years and 10 months ago 416 main cf202003
conda 109.7 MB | linux-64/coq-8.9.1-0.tar.bz2  6 years and 10 months ago 5483 main cf202003
conda 109.6 MB | linux-64/coq-8.9.0-0.tar.bz2  7 years and 2 months ago 5877 main cf202003
© 2026 Anaconda, Inc. All Rights Reserved. (v4.2.17) Legal | Privacy Policy