macOSにbrewでcoq_jupyterをインストールする

1. 概要

以下の環境でJupyter上でCoqが使える環境を構築する。
（Anacondaは使わない）

• macOS Catalina
• Homebrew
• Python3
• Jupyter
• Coq 8.10.0

2. ソフトウェアのインストールと初期化

brewのインストールはこのページを参照。
Homebrew

以下のコマンドを実行する。

brew update
brew upgrade
brew install python3
brew install coq
pip3 install --upgrade pip
pip3 install jupyter
pip3 install coq-jupyter
python3 -m coq_jupyter.install

3. Jupyter notebookの起動

以下のコマンドを実行する。

jupyter notebook

ブラウザからlocalhost:8888をアクセスすると、Jupyterを起動したディレクトリのファイル一覧が表示される。Mac版のJupyterでは、デフォルト設定でログイン画面は表示されない。

4. 付録

4.1 チュートリアルの取得

Coqのチュートリアルをcloneでとってくる。そのディレクトリ下でjupyterを起動すると便利。

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

4.2 Jupyter Labの導入

以下の手順でJupyter Labをインストール、起動することができる。
Jupyter LabからCoqを使用できる。

pip3 install jupyterlab
jupyter lab

以上