Files | Anaconda.org

conda-forge / packages / coq

0

Coq is a formal proof management system

Filters

Type	Size	Name	Uploaded	Downloads	Labels
conda	86.4 MB	\| osx-64/coq-8.9.1-1.tar.bz2	5 years and 5 months ago	427	main cf202003
conda	109.6 MB	\| linux-64/coq-8.9.1-1.tar.bz2	5 years and 5 months ago	4422	main cf202003
conda	86.6 MB	\| osx-64/coq-8.9.1-0.tar.bz2	5 years and 6 months ago	389	main cf202003
conda	109.7 MB	\| linux-64/coq-8.9.1-0.tar.bz2	5 years and 6 months ago	4331	main cf202003