【文件属性】：
文件名称：coq_jupyter：Coq的Jupyter内核
文件大小：31KB
文件格式：ZIP
更新时间：2021-02-04 07:18:10
dependent-types kernel jupyter coq jupyter-notebook
的内核。
您可以尝试。
安装
确保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
【文件预览】：
coq_jupyter-master
----.gitignore(1KB)
----setup.cfg(26B)
----README.md(5KB)
----test()
--------kernel_test.py(13KB)
----LICENSE(11KB)
----CONTRIBUTING.md(822B)
----main.py(256B)
----process_indexes.py(8KB)
----coq_jupyter()
--------renderer.py(2KB)
--------coqtop.py(12KB)
--------kernel.py(10KB)
--------kernel.js(24KB)
--------__init__.py(64B)
--------__main__.py(159B)
--------install.py(3KB)
----MANIFEST.in(46B)
----setup.py(1KB)
----.travis.yml(1KB)