coq
Coq is a formal proof management system
| Name | Type | Version | Platform | Labels | Updated | Size | Downloads | Actions |
|---|
osx-64/coq-8.12.2-h694c41f_0.tar.bz2 | conda | 8.12.2 | osx-64 | main | Dec 27, 2020, 10:00 PM | 108.89 MB | 500 | |
linux-64/coq-8.12.2-ha770c72_0.tar.bz2 | conda | 8.12.2 | linux-64 | main | Dec 27, 2020, 09:43 PM | 139.02 MB | 29.5K | |
osx-64/coq-8.12.0-0.tar.bz2 | conda | 8.12.0 | osx-64 | main | Jul 25, 2020, 11:16 AM | 101.18 MB | 392 | |
linux-64/coq-8.12.0-0.tar.bz2 | conda | 8.12.0 | linux-64 | main | Jul 25, 2020, 10:50 AM | 128.53 MB | 4.7K | |
linux-64/coq-8.11.2-0.tar.bz2 | conda | 8.11.2 | linux-64 | main | May 15, 2020, 09:49 AM | 122.17 MB | 4.5K | |
osx-64/coq-8.11.2-0.tar.bz2 | conda | 8.11.2 | osx-64 | main | May 15, 2020, 09:44 AM | 95.81 MB | 378 | |
linux-64/coq-8.11.1-0.tar.bz2 | conda | 8.11.1 | linux-64 | main | Apr 5, 2020, 08:39 AM | 122.14 MB | 4.4K | |
osx-64/coq-8.11.1-0.tar.bz2 | conda | 8.11.1 | osx-64 | main | Apr 5, 2020, 08:37 AM | 95.77 MB | 377 | |
osx-64/coq-8.11.0-1.tar.bz2 | conda | 8.11.0 | osx-64 | maincf202003 | Feb 2, 2020, 04:38 PM | 95.9 MB | 425 | |
linux-64/coq-8.11.0-1.tar.bz2 | conda | 8.11.0 | linux-64 | maincf202003 | Feb 2, 2020, 04:38 PM | 122.31 MB | 4.6K | |
osx-64/coq-8.11.0-0.tar.bz2 | conda | 8.11.0 | osx-64 | maincf202003 | Jan 29, 2020, 04:46 PM | 95.89 MB | 383 | |
linux-64/coq-8.11.0-0.tar.bz2 | conda | 8.11.0 | linux-64 | maincf202003 | Jan 29, 2020, 04:43 PM | 122.24 MB | 4.7K | |
osx-64/coq-8.10.1-0.tar.bz2 | conda | 8.10.1 | osx-64 | maincf202003 | Nov 29, 2019, 12:20 AM | 92.45 MB | 418 | |
linux-64/coq-8.10.1-0.tar.bz2 | conda | 8.10.1 | linux-64 | maincf202003 | Nov 29, 2019, 12:17 AM | 118.01 MB | 4.9K | |
osx-64/coq-8.9.1-1.tar.bz2 | conda | 8.9.1 | osx-64 | maincf202003 | Jun 20, 2019, 04:26 PM | 86.43 MB | 447 | |
linux-64/coq-8.9.1-1.tar.bz2 | conda | 8.9.1 | linux-64 | maincf202003 | Jun 20, 2019, 04:22 PM | 109.59 MB | 5.3K | |
osx-64/coq-8.9.1-0.tar.bz2 | conda | 8.9.1 | osx-64 | maincf202003 | Jun 13, 2019, 12:54 AM | 86.59 MB | 405 | |
linux-64/coq-8.9.1-0.tar.bz2 | conda | 8.9.1 | linux-64 | maincf202003 | Jun 13, 2019, 12:53 AM | 109.71 MB | 5.3K | |
linux-64/coq-8.9.0-0.tar.bz2 | conda | 8.9.0 | linux-64 | maincf202003 | Feb 25, 2019, 07:41 PM | 109.59 MB | 5.7K |