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 7 months ago	417	main cf202003
conda	122.3 MB	\| linux-64/coq-8.11.0-1.tar.bz2	5 years and 7 months ago	4366	main cf202003
conda	95.9 MB	\| osx-64/coq-8.11.0-0.tar.bz2	5 years and 8 months ago	374	main cf202003
conda	122.2 MB	\| linux-64/coq-8.11.0-0.tar.bz2	5 years and 8 months ago	4420	main cf202003
conda	92.4 MB	\| osx-64/coq-8.10.1-0.tar.bz2	5 years and 10 months ago	409	main cf202003
conda	118.0 MB	\| linux-64/coq-8.10.1-0.tar.bz2	5 years and 10 months ago	4669	main cf202003
conda	86.4 MB	\| osx-64/coq-8.9.1-1.tar.bz2	6 years and 3 months ago	438	main cf202003
conda	109.6 MB	\| linux-64/coq-8.9.1-1.tar.bz2	6 years and 3 months ago	5100	main cf202003
conda	86.6 MB	\| osx-64/coq-8.9.1-0.tar.bz2	6 years and 3 months ago	397	main cf202003
conda	109.7 MB	\| linux-64/coq-8.9.1-0.tar.bz2	6 years and 3 months ago	5059	main cf202003
conda	109.6 MB	\| linux-64/coq-8.9.0-0.tar.bz2	6 years and 7 months ago	5429	main cf202003