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 aaad4fb482 Clean /tmp director after build. 4 天之前
.ci Added support for Isabelle 2019. 1 年之前
debian4isabelle Allow user of podman as alternative to docker. 3 月之前
isabelle Clean /tmp director after build. 4 天之前
isabelle_dof Setup for various versions of Isabelle. 4 週之前
LICENSE Initial commit. 2 年之前
README.md Added links for Isabelle/DOF 1.1.0. 4 週之前
build.sh Updated latest Isabelle version and export environment. 1 月之前
config Updated latest Isabelle version and export environment. 1 月之前

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.