isabelle-dev-docker
A docker image for working with development versions of Isabelle (https://isabelle.in.tum.de)
A docker image for working with development versions of Isabelle (https://isabelle.in.tum.de)
A docker image for working with development versions of Isabelle (https://isabelle.in.tum.de)
A docker image for working with development versions of Isabelle (https://isabelle.in.tum.de)
MIT License