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 3fdb7b86b4
Updated default version to Isabelle 2022.
3 months ago
.ci Added support for Isabelle 2019. 4 years ago
debian4isabelle Use Debian unstable and add lipics style. 3 months ago
isabelle Fix for Isabelle 2021. 3 months ago
isabelle_dof Setup for various versions of Isabelle. 2 years ago
LICENSE Initial commit. 4 years ago
README.md Added links for Isabelle/DOF 1.1.0. 2 years ago
build.sh Disabled build of Isabelle/DOF image. 3 months ago
config Updated default version to Isabelle 2022. 3 months ago


Dockerfiles for Isabelle and Related Projects

This repository contains Dockerfiles for running Isabelle and projects based on Isabelle. The Dockerfiles are tested with podman and Docker.

List of Dockerfiles


Main author: Achim D. Brucker


If not otherwise stated, all Dockerfiles 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.