peterzel

Isabelle 2016 built from https://github.com/dominique-unruh/isabelle-docker

Antidote database

Latexmk, texlive-full, pandoc

Image for why3 verification tool.