Files | Anaconda.org

conda-forge / packages / coq

0

Coq is a formal proof management system

Filters

	Type	Size	Name	Uploaded	Downloads	Labels
	conda	122.2 MB	\| linux-64/coq-8.11.2-0.tar.bz2	4 years and 6 months ago	3516	main
	conda	95.8 MB	\| osx-64/coq-8.11.2-0.tar.bz2	4 years and 6 months ago	359	main