R9452/6094ee76a6ddmaster
R9452/
6094ee76a6ddmaster
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