Coq Jupyter | Anaconda.org

conda-forge / packages / coq-jupyter 1.6.0

0

Jupyter kernel for Coq

copied from cf-staging / coq-jupyter

Info: This package contains files in non-standard labels.

To install this package run one of the following:
conda install conda-forge::coq-jupyter
conda install conda-forge/label/cf202003::coq-jupyter