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 32.3 kB | osx-64/coq-jupyter-1.5.3-py39h6e9494a_3.tar.bz2  3 years and 10 months ago 81 main
conda 32.1 kB | osx-64/coq-jupyter-1.5.3-py37hf985489_3.tar.bz2  3 years and 10 months ago 86 main
conda 32.2 kB | osx-64/coq-jupyter-1.5.3-py38h50d1736_3.tar.bz2  3 years and 10 months ago 84 main
conda 32.4 kB | osx-64/coq-jupyter-1.5.3-py310h2ec42d9_3.tar.bz2  3 years and 10 months ago 81 main
conda 32.1 kB | linux-64/coq-jupyter-1.5.3-py37h89c1867_3.tar.bz2  3 years and 10 months ago 2278 main
conda 32.4 kB | linux-64/coq-jupyter-1.5.3-py310hff52083_3.tar.bz2  3 years and 10 months ago 2185 main
conda 32.3 kB | linux-64/coq-jupyter-1.5.3-py39hf3d152e_3.tar.bz2  3 years and 10 months ago 2805 main
conda 32.3 kB | linux-64/coq-jupyter-1.5.3-py38h578d9bd_3.tar.bz2  3 years and 10 months ago 2279 main
conda 31.9 kB | osx-64/coq-jupyter-1.5.3-py36hc560c46_2.tar.bz2  4 years and 11 months ago 300 main
conda 31.8 kB | osx-64/coq-jupyter-1.5.3-py37hc8dfbb8_2.tar.bz2  4 years and 11 months ago 300 main
conda 31.7 kB | osx-64/coq-jupyter-1.5.3-py36h9f0ad1d_2.tar.bz2  4 years and 11 months ago 295 main
conda 31.9 kB | osx-64/coq-jupyter-1.5.3-py39hde42818_2.tar.bz2  4 years and 11 months ago 313 main
conda 31.8 kB | linux-64/coq-jupyter-1.5.3-py37hc8dfbb8_2.tar.bz2  4 years and 11 months ago 2842 main
conda 31.9 kB | osx-64/coq-jupyter-1.5.3-py38h32f6830_2.tar.bz2  4 years and 11 months ago 289 main
conda 32.0 kB | linux-64/coq-jupyter-1.5.3-py39hde42818_2.tar.bz2  4 years and 11 months ago 3455 main
conda 31.9 kB | linux-64/coq-jupyter-1.5.3-py36hc560c46_2.tar.bz2  4 years and 11 months ago 2850 main
conda 31.8 kB | linux-64/coq-jupyter-1.5.3-py36h9f0ad1d_2.tar.bz2  4 years and 11 months ago 2900 main
conda 31.8 kB | linux-64/coq-jupyter-1.5.3-py38h32f6830_2.tar.bz2  4 years and 11 months ago 2875 main
conda 31.4 kB | osx-64/coq-jupyter-1.5.3-py38h32f6830_1.tar.bz2  5 years and 6 months ago 341 main
conda 31.4 kB | osx-64/coq-jupyter-1.5.3-py36hc560c46_1.tar.bz2  5 years and 6 months ago 338 main
conda 31.3 kB | osx-64/coq-jupyter-1.5.3-py36h9f0ad1d_1.tar.bz2  5 years and 6 months ago 342 main
conda 31.3 kB | osx-64/coq-jupyter-1.5.3-py37hc8dfbb8_1.tar.bz2  5 years and 6 months ago 338 main
conda 31.5 kB | linux-64/coq-jupyter-1.5.3-py38h32f6830_1.tar.bz2  5 years and 6 months ago 3226 main
conda 31.4 kB | linux-64/coq-jupyter-1.5.3-py37hc8dfbb8_1.tar.bz2  5 years and 6 months ago 3341 main
conda 31.4 kB | linux-64/coq-jupyter-1.5.3-py36h9f0ad1d_1.tar.bz2  5 years and 6 months ago 3250 main
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy