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 30.6 kB | osx-64/coq-jupyter-1.5.3-py27_0.tar.bz2  5 years and 7 months ago 341 main cf202003
conda 31.2 kB | osx-64/coq-jupyter-1.5.3-py36_0.tar.bz2  5 years and 7 months ago 340 main cf202003
conda 31.3 kB | osx-64/coq-jupyter-1.5.3-py38_0.tar.bz2  5 years and 7 months ago 353 main cf202003
conda 31.2 kB | osx-64/coq-jupyter-1.5.3-py37_0.tar.bz2  5 years and 7 months ago 364 main cf202003
conda 31.4 kB | linux-64/coq-jupyter-1.5.3-py38_0.tar.bz2  5 years and 7 months ago 3409 main cf202003
conda 31.3 kB | linux-64/coq-jupyter-1.5.3-py36_0.tar.bz2  5 years and 7 months ago 3341 main cf202003
conda 30.7 kB | linux-64/coq-jupyter-1.5.3-py27_0.tar.bz2  5 years and 7 months ago 3288 main cf202003
conda 31.3 kB | linux-64/coq-jupyter-1.5.3-py37_0.tar.bz2  5 years and 7 months ago 3359 main cf202003
conda 30.9 kB | osx-64/coq-jupyter-1.5.2-py36_0.tar.bz2  5 years and 7 months ago 341 main cf202003
conda 30.4 kB | osx-64/coq-jupyter-1.5.2-py27_0.tar.bz2  5 years and 7 months ago 341 main cf202003
conda 30.9 kB | osx-64/coq-jupyter-1.5.2-py37_0.tar.bz2  5 years and 7 months ago 340 main cf202003
conda 31.1 kB | osx-64/coq-jupyter-1.5.2-py38_0.tar.bz2  5 years and 7 months ago 346 main cf202003
conda 31.2 kB | linux-64/coq-jupyter-1.5.2-py38_0.tar.bz2  5 years and 7 months ago 3386 main cf202003
conda 31.0 kB | linux-64/coq-jupyter-1.5.2-py36_0.tar.bz2  5 years and 7 months ago 3391 main cf202003
conda 30.5 kB | linux-64/coq-jupyter-1.5.2-py27_0.tar.bz2  5 years and 7 months ago 3320 main cf202003
conda 31.1 kB | linux-64/coq-jupyter-1.5.2-py37_0.tar.bz2  5 years and 7 months ago 3416 main cf202003
conda 30.8 kB | osx-64/coq-jupyter-1.5.1-py38_1.tar.bz2  5 years and 10 months ago 365 main cf202003
conda 30.9 kB | linux-64/coq-jupyter-1.5.1-py38_1.tar.bz2  5 years and 10 months ago 3696 main cf202003
conda 30.7 kB | osx-64/coq-jupyter-1.5.1-py36_1.tar.bz2  6 years and 3 months ago 362 main cf202003
conda 30.2 kB | osx-64/coq-jupyter-1.5.1-py27_1.tar.bz2  6 years and 3 months ago 367 main cf202003
conda 30.7 kB | osx-64/coq-jupyter-1.5.1-py37_1.tar.bz2  6 years and 3 months ago 379 main cf202003
conda 30.7 kB | linux-64/coq-jupyter-1.5.1-py36_1.tar.bz2  6 years and 3 months ago 4081 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 360 main cf202003
© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy