R9452/82a0cf06060dmaster
R9452/
82a0cf06060dmaster
/
/
README.md
README.md
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:
Running it locally
You will need to install Coq, Jupyter and the coq_jupyter kernel. You can do that more-or-less as follows:
shell 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:
shell pip install --user notebook
Run
shell jupyter notebook
Note: using jupyter lab does not work correctly. Use the notebook version.
c4science · Help