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	409	main cf202003
conda	122.3 MB	\| linux-64/coq-8.11.0-1.tar.bz2	5 years and 1 month ago	3979	main cf202003
conda	95.9 MB	\| osx-64/coq-8.11.0-0.tar.bz2	5 years and 2 months ago	366	main cf202003
conda	122.2 MB	\| linux-64/coq-8.11.0-0.tar.bz2	5 years and 2 months ago	4012	main cf202003
conda	92.4 MB	\| osx-64/coq-8.10.1-0.tar.bz2	5 years and 4 months ago	402	main cf202003
conda	118.0 MB	\| linux-64/coq-8.10.1-0.tar.bz2	5 years and 4 months ago	4215	main cf202003
conda	86.4 MB	\| osx-64/coq-8.9.1-1.tar.bz2	5 years and 9 months ago	429	main cf202003
conda	109.6 MB	\| linux-64/coq-8.9.1-1.tar.bz2	5 years and 9 months ago	4692	main cf202003
conda	86.6 MB	\| osx-64/coq-8.9.1-0.tar.bz2	5 years and 9 months ago	390	main cf202003
conda	109.7 MB	\| linux-64/coq-8.9.1-0.tar.bz2	5 years and 9 months ago	4631	main cf202003
conda	109.6 MB	\| linux-64/coq-8.9.0-0.tar.bz2	6 years and 1 month ago	4992	main cf202003