Files | Anaconda.org

conda-forge / packages / coq

0

Coq is a formal proof management system

Filters

	Type	Size	Name	Uploaded	Downloads	Labels
	conda	101.2 MB	\| osx-64/coq-8.12.0-0.tar.bz2	4 years and 4 months ago	375	main
	conda	128.5 MB	\| linux-64/coq-8.12.0-0.tar.bz2	4 years and 4 months ago	3778	main