1. 概要

Ubuntu 18.04, Ubuntu 19.10にcoq-jupyterをインストールする手順を示します。

2. Ubuntuパッケージのアップデート

最初にパッケージのアップデートを実施します。

sudo apt update
sudo apt upgrade -y

3. Ubuntuパッケージのインストール

続いてパッケージのインストールです。

sudo apt install -y python3-pip jupyter git coq

3-1. Ubuntu 19.10のパッケージ操作

Ubuntu 18.04ではこの操作は不要です。

Ubuntu 19.10では、aptでインストールしたCoqパッケージでは、JupyterからCoqの呼び出しするとエラーが発生します。そのため、gitでCoqのソースコードをcloneしてビルドします。
以下の手順では、先ほどインストールしたCoqパッケージをremoveしています。これは、install時に一緒にインストールされるOCaml環境が、Coqビルド時に必要なためです。Coqパッケージをremoveしても、OCaml環境は削除されません。

sudo apt remove -y coq
git clone https://github.com/coq/coq.git
cd coq
./configure
（質問はデフォルトでOKなので、全部Enterキーを押す）
make
sudo make install
vi ~/.bashrc
（以下の行を最後に追加する）
export PATH=/usr/local/bin:$PATH
（viを抜ける）
source ~/.bashrc

4. Pythonパッケージをインストールする

coq-jupyterパッケージをインストールします。

pip3 install coq-jupyter

4-1. Ubuntu 18.04のPythonパッケージ操作

Ubuntu 19.10ではこの操作は不要です。

Ubuntu 18.04では、一緒にインストールされるtornadoのバージョンを4.5.3に落とす必要があります。

pip3 uninstall -y tornado
pip3 install tornado==4.5.3

4-2. coq_jupyterモジュールのインストール

以下の操作を行います。

python3 -m coq_jupyter.install

5. Jupyter notebookの起動

せっかくなので、マルレク提供のcoq-tutorialをcloneしてから、Jupyterを起動してみます。

git clone https://github.com/maruyama097/coq-tutorial.git
jupyter notebook

以上