Files | Anaconda.org

conda-forge / packages / coq

0

Coq is a formal proof management system

Filters

Type	Size	Name	Uploaded	Downloads	Labels
conda	95.9 MB	\| osx-64/coq-8.11.0-1.tar.bz2	5 years and 1 month ago	408	main cf202003
conda	122.3 MB	\| linux-64/coq-8.11.0-1.tar.bz2	5 years and 1 month ago	3923	main cf202003
conda	95.9 MB	\| osx-64/coq-8.11.0-0.tar.bz2	5 years and 1 month ago	365	main cf202003
conda	122.2 MB	\| linux-64/coq-8.11.0-0.tar.bz2	5 years and 1 month ago	3954	main cf202003
conda	92.4 MB	\| osx-64/coq-8.10.1-0.tar.bz2	5 years and 3 months ago	400	main cf202003
conda	118.0 MB	\| linux-64/coq-8.10.1-0.tar.bz2	5 years and 3 months ago	4160	main cf202003
conda	86.4 MB	\| osx-64/coq-8.9.1-1.tar.bz2	5 years and 8 months ago	428	main cf202003
conda	109.6 MB	\| linux-64/coq-8.9.1-1.tar.bz2	5 years and 8 months ago	4641	main cf202003
conda	86.6 MB	\| osx-64/coq-8.9.1-0.tar.bz2	5 years and 8 months ago	390	main cf202003
conda	109.7 MB	\| linux-64/coq-8.9.1-0.tar.bz2	5 years and 8 months ago	4571	main cf202003
conda	109.6 MB	\| linux-64/coq-8.9.0-0.tar.bz2	6 years and 7 days ago	4935	main cf202003