A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Achim D. Brucker 100fa86c71 Fixed PATH. 2 months ago
.ci Initial commit. 2 months ago
debian4isabelle Renabled SHELL directive. 2 months ago
isabelle Fixed PATH. 2 months ago
LICENSE Initial commit. 2 months ago
README.md Initial commit isabelle. 2 months ago
build.sh Enable configuration of UID of user in Docker container. 2 months ago


Dockerfiles for Isabelle and Related Projects

This repository contains Dockerfiles for running Isabelle and projects based on Isabelle.

List of Dockerfiles

  • debian4isabelle provides a generic Debian image that serves as basis for the Isabelle docker files. This image is not eagerly optimised for size, as it goal is to include all tools that are required for running Isabelle and tools based on Isabelle (e.g., HOL-TestGen).

  • isabelle provides a parametrized Dockerfile to generate docker images for various Isabelle versions.


Main author: Achim D. Brucker


If not otherwise stated, all hacks are licensed under a 2-clause BSD-style license.

SPDX-License-Identifier: BSD-2-Clause

Master Repository

The master git repository for this project is hosted by the Software Assurance & Security Research Team at https://git.logicalhacking.com//lh-docker/lh-docker-isabelle.