logicalhacking/isabelle2021 repository overview

⁠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

• 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:

  • logicalhacking/isabelle2021⁠
  • logicalhacking/isabelle2020⁠
  • logicalhacking/isabelle2019⁠
  • logicalhacking/isabelle2018⁠
  • logicalhacking/isabelle2017⁠

• 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:

  • logicalhacking/isabelle_dof-1.1.0_isabelle2021⁠
  • logicalhacking/isabelle_dof-1.1.0_isabelle2020⁠
  • logicalhacking/isabelle_dof-1.0.0_isabelle2019⁠

⁠Authors

Main author: Achim D. Brucker⁠

⁠License

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⁠.