peterzel/isabelle repository overview

⁠Docker Isabelle

Docker image for building Isabelle projects.

The image is adapted from https://hub.docker.com/r/makarius/isabelle⁠ but also includes a Latex installation to support the full isabelle build pipeline.

Find the Image on Dockerhub at https://hub.docker.com/r/peterzel/isabelle⁠