# A Short Introduction to Coq

You can try it online in Binder:

- [demo](https://mybinder.org/v2/git/https%3A%2F%2Fc4science.ch%2Fdiffusion%2F9452%2Fcoq-project.git/master?filepath=demo.ipynb)
- [advanced](https://mybinder.org/v2/git/https%3A%2F%2Fc4science.ch%2Fdiffusion%2F9452%2Fcoq-project.git/master?filepath=advanced.ipynb)

## Install

```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
```