Homec4science
Diffusion coq-project (master) Browse

R9452/postBuild
82a0cf06060dmaster

Last Change
Raw File

postBuild
View Options

pip install --user coq_jupyter==1.5.0
python -m coq_jupyter.install
c4science · Help