Coq Environment

Install OCaml and a few dependencies.

apt-get -qq update
apt-get install --no-install-recommends \
  ocaml bubblewrap aspcud libgtksourceview2.0-dev

apt-get clean
rm -r /var/lib/apt/lists/* # Clear package list so it isn't stale

Install OPAM (the OCaml package manager) from a copy downloaded in the Appendix, and then use it to install Coq and CoqIDE.

mkdir -p $OPAMROOT
/usr/local/bin/opam chmod a+x /usr/local/bin/opam opam init -ay --disable-sandboxing opam config env opam pin add coq -y ${COQ_VERSION} opam install -y coqide

Install one dep, and then the Coq Jupyter kernel.

conda install future
pip install coq-jupyter
python -m coq_jupyter.install

Print info.

coqc --version
jupyter kernelspec list