A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
Go to file
Achim D. Brucker b55a4de7f1 Add date argument to invalidate cache. 2023-05-07 15:41:13 +01:00
.ci Added support for Isabelle 2019. 2019-06-18 07:39:43 +01:00
debian4isabelle Updated entcs and AFP URLs. 2023-03-04 18:57:08 +00:00
isabelle Updated entcs and AFP URLs. 2023-03-04 18:57:08 +00:00
isabelle_dof Setup for various versions of Isabelle. 2021-03-21 00:16:39 +00:00
isabelle_nightly Add date argument to invalidate cache. 2023-05-07 15:41:13 +01: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 Add date argument to invalidate cache. 2023-05-07 15:41:13 +01:00
config Updated default version to Isabelle 2022. 2022-10-30 20:44:17 +00:00

README.md

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

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.