coq_jupyter:Coq的Jupyter内核 源码

的内核。 您可以尝试。 安装 确保CoqIDE(8.6或更高版本)已安装并coqidetop (或coqtop 8.9.0之前的版本COQ)是在你的PATH 。 之后使用pip安装(适用于python 2/3): pip install coq-jupyter python -m coq_jupyter.install 或者,使用Conda安装coqidetop和coq_jupyter 。 为此,请安装Conda(Anaconda,Miniconda,Minimamba)并执行以下操作: $ conda config --add channels conda-forge $ cond