Files | Anaconda.org

If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication. ×

conda-forge / packages / coq-jupyter

0

Jupyter kernel for Coq

copied from cf-staging / coq-jupyter

Filters

	Type	Size	Name	Uploaded	Downloads	Labels
	conda	30.8 kB	\| osx-64/coq-jupyter-1.5.1-py38_1.tar.bz2	5 years and 10 months ago	366	main cf202003
	conda	30.9 kB	\| linux-64/coq-jupyter-1.5.1-py38_1.tar.bz2	5 years and 10 months ago	3697	main cf202003
	conda	30.7 kB	\| osx-64/coq-jupyter-1.5.1-py36_1.tar.bz2	6 years and 3 months ago	363	main cf202003
	conda	30.2 kB	\| osx-64/coq-jupyter-1.5.1-py27_1.tar.bz2	6 years and 3 months ago	368	main cf202003
	conda	30.7 kB	\| osx-64/coq-jupyter-1.5.1-py37_1.tar.bz2	6 years and 3 months ago	380	main cf202003
	conda	30.7 kB	\| linux-64/coq-jupyter-1.5.1-py36_1.tar.bz2	6 years and 3 months ago	4082	main cf202003
	conda	30.2 kB	\| linux-64/coq-jupyter-1.5.1-py27_1.tar.bz2	6 years and 3 months ago	3974	main cf202003
	conda	30.7 kB	\| linux-64/coq-jupyter-1.5.1-py37_1.tar.bz2	6 years and 3 months ago	4090	main cf202003
	conda	30.9 kB	\| osx-64/coq-jupyter-1.5.1-py36_0.tar.bz2	6 years and 3 months ago	361	main cf202003
	conda	30.5 kB	\| osx-64/coq-jupyter-1.5.1-py27_0.tar.bz2	6 years and 3 months ago	368	main cf202003
	conda	30.9 kB	\| osx-64/coq-jupyter-1.5.1-py37_0.tar.bz2	6 years and 3 months ago	377	main cf202003
	conda	30.9 kB	\| linux-64/coq-jupyter-1.5.1-py36_0.tar.bz2	6 years and 3 months ago	4028	main cf202003
	conda	30.5 kB	\| linux-64/coq-jupyter-1.5.1-py27_0.tar.bz2	6 years and 3 months ago	3955	main cf202003
	conda	30.9 kB	\| linux-64/coq-jupyter-1.5.1-py37_0.tar.bz2	6 years and 3 months ago	4013	main cf202003

© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy