文件名称：coq_jupyter：Coq的Jupyter内核
文件大小：31KB
文件格式：ZIP
更新时间：2024-02-25 01:04:50
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)