A Short Introduction to Coq

This is a repository with the Jupyter notebook used for the Coq workshop in the FoS course.

You can run these notebooks online, here are the links:

• advanced
• advanced_full
• demo

Running it locally

You will need to install Coq, Jupyter and the coq_jupyter kernel. You can do that more-or-less as follows:

brew install coq # or something similar for your OS
pip install --user coq_jupyter==1.5.0
python -m coq_jupyter.install

Depending on your system, you may also need to run:

pip install --user notebook

Run

jupyter notebook

Note: using jupyter lab does not work correctly. Use the notebook version.