Files | Anaconda.org

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

0

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	4 years and 3 months ago	480	main
	conda	139.0 MB	\| linux-64/coq-8.12.2-ha770c72_0.tar.bz2	4 years and 3 months ago	3687	main
	conda	101.2 MB	\| osx-64/coq-8.12.0-0.tar.bz2	4 years and 8 months ago	377	main
	conda	128.5 MB	\| linux-64/coq-8.12.0-0.tar.bz2	4 years and 8 months ago	4069	main
	conda	122.2 MB	\| linux-64/coq-8.11.2-0.tar.bz2	4 years and 10 months ago	3802	main
	conda	95.8 MB	\| osx-64/coq-8.11.2-0.tar.bz2	4 years and 10 months ago	361	main
	conda	122.1 MB	\| linux-64/coq-8.11.1-0.tar.bz2	4 years and 11 months ago	3797	main
	conda	95.8 MB	\| osx-64/coq-8.11.1-0.tar.bz2	4 years and 11 months ago	361	main
	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	3984	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	4017	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	4224	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	4700	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	4639	main cf202003
	conda	109.6 MB	\| linux-64/coq-8.9.0-0.tar.bz2	6 years and 1 month ago	5000	main cf202003

© 2025 Anaconda, Inc. All Rights Reserved. (v4.0.9) Legal | Privacy Policy