lh-docker-isabelle

A repository of Dockerfiles for running Isabelle or projects based on Isabelle.

Go to file

Achim D. Brucker 3d7d357302 Added python3-urllib3, which is required by pipenv.		2023-03-02 16:20:28 +00:00
.ci	Added support for Isabelle 2019.	2019-06-18 07:39:43 +01:00
debian4isabelle	Added python3-urllib3, which is required by pipenv.	2023-03-02 16:20:28 +00:00
isabelle	Fix for Isabelle 2021.	2022-10-30 20:42:23 +00:00
isabelle_dof	Setup for various versions of Isabelle.	2021-03-21 00:16:39 +00:00
LICENSE	Initial commit.	2019-01-02 07:41:12 +00:00
README.md	Added links for Isabelle/DOF 1.1.0.	2021-03-21 00:41:35 +00:00
build.sh	Disabled build of Isabelle/DOF image.	2022-10-30 20:44:02 +00:00
config	Updated default version to Isabelle 2022.	2022-10-30 20:44:17 +00:00

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

List of Dockerfiles

debian4isabelle provides a generic Debian image that serves as basis for the Isabelle docker files. This image is not eagerly optimized 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). The following versions are available on docker hub:
- logicalhacking/debian4isabelle
isabelle provides a parametrized Dockerfile to generate docker images for various version of Isabelle. The image will also contain a copy of the most recent version of the AFP available for the specified version of Isabelle. The following versions are available on docker hub:
isabelle_dof provides a parametrized Dockerfile to generate docker images of Isabelle/DOF. Isabelle/DOF is a document authoring framework for Isabelle, provided by the University of Exeter and the University of Paris-Saclay. The following versions are available on docker hub:

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

SPDX-License-Identifier: BSD-2-Clause