R9452/5bb567ac194amaster
R9452/
5bb567ac194amaster
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
Run
shell jupyter notebook
c4science · Help