R9452/b3826dceb699master
R9452/
b3826dceb699master
/
/
README.md
README.md
A Short Introduction to Coq
You can try it online in Binder:
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
c4science · Help