About Anaconda Help Download Anaconda
Sign In
Anaconda.com

conda-forge / packages / coq-jupyter

Jupyter kernel for Coq

copied from cf-staging / coq-jupyter

Filters
Type Size Name Uploaded Downloads Labels
conda 40.9 kB | osx-64/coq-jupyter-1.6.0-py312hb401068_2.conda  2 years and 1 day ago 518 main
conda 42.1 kB | osx-64/coq-jupyter-1.6.0-py311h6eed73b_2.conda  2 years and 1 day ago 504 main
conda 34.8 kB | osx-64/coq-jupyter-1.6.0-py310h2ec42d9_2.conda  2 years and 1 day ago 542 main
conda 34.8 kB | osx-64/coq-jupyter-1.6.0-py38h50d1736_2.conda  2 years and 1 day ago 552 main
conda 34.6 kB | osx-64/coq-jupyter-1.6.0-py39h6e9494a_2.conda  2 years and 1 day ago 520 main
conda 40.7 kB | linux-64/coq-jupyter-1.6.0-py312h7900ff3_2.conda  2 years and 1 day ago 1712 main
conda 34.6 kB | linux-64/coq-jupyter-1.6.0-py39hf3d152e_2.conda  2 years and 1 day ago 1794 main
conda 34.6 kB | linux-64/coq-jupyter-1.6.0-py310hff52083_2.conda  2 years and 1 day ago 1898 main
conda 41.7 kB | linux-64/coq-jupyter-1.6.0-py311h38be061_2.conda  2 years and 1 day ago 1613 main
conda 34.5 kB | linux-64/coq-jupyter-1.6.0-py38h578d9bd_2.conda  2 years and 1 day ago 1653 main
conda 34.5 kB | osx-64/coq-jupyter-1.6.0-py39h6e9494a_1.conda  2 years and 9 days ago 512 main
conda 35.1 kB | osx-64/coq-jupyter-1.6.0-py310h2ec42d9_1.conda  2 years and 9 days ago 528 main
conda 41.6 kB | osx-64/coq-jupyter-1.6.0-py311h6eed73b_1.conda  2 years and 9 days ago 517 main
conda 34.8 kB | osx-64/coq-jupyter-1.6.0-py38h50d1736_1.conda  2 years and 9 days ago 510 main
conda 34.4 kB | linux-64/coq-jupyter-1.6.0-py310hff52083_1.conda  2 years and 9 days ago 1670 main
conda 41.5 kB | linux-64/coq-jupyter-1.6.0-py311h38be061_1.conda  2 years and 9 days ago 1682 main
conda 34.4 kB | linux-64/coq-jupyter-1.6.0-py39hf3d152e_1.conda  2 years and 9 days ago 1758 main
conda 34.5 kB | linux-64/coq-jupyter-1.6.0-py38h578d9bd_1.conda  2 years and 9 days ago 1658 main
conda 33.0 kB | osx-64/coq-jupyter-1.6.0-py310h2ec42d9_0.tar.bz2  3 years and 8 months ago 84 main
conda 32.7 kB | osx-64/coq-jupyter-1.6.0-py37hf985489_0.tar.bz2  3 years and 8 months ago 81 main
conda 32.8 kB | osx-64/coq-jupyter-1.6.0-py38h50d1736_0.tar.bz2  3 years and 8 months ago 82 main
conda 32.9 kB | osx-64/coq-jupyter-1.6.0-py39h6e9494a_0.tar.bz2  3 years and 8 months ago 82 main
conda 33.0 kB | linux-64/coq-jupyter-1.6.0-py310hff52083_0.tar.bz2  3 years and 8 months ago 2261 main
conda 32.7 kB | linux-64/coq-jupyter-1.6.0-py37h89c1867_0.tar.bz2  3 years and 8 months ago 2209 main
conda 32.8 kB | linux-64/coq-jupyter-1.6.0-py38h578d9bd_0.tar.bz2  3 years and 8 months ago 2165 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy