# A Short Introduction to Coq You can try it [online in Binder](https://mybinder.org/v2/git/https%3A%2F%2Fc4science.ch%2Fdiffusion%2F9452%2Fcoq-project.git/master?filepath=demo.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 ``` ## Run ```shell jupyter notebook ```