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	4 years and 10 months ago	406	main cf202003
conda	122.3 MB	\| linux-64/coq-8.11.0-1.tar.bz2	4 years and 10 months ago	3692	main cf202003
conda	95.9 MB	\| osx-64/coq-8.11.0-0.tar.bz2	4 years and 10 months ago	364	main cf202003
conda	122.2 MB	\| linux-64/coq-8.11.0-0.tar.bz2	4 years and 10 months ago	3724	main cf202003