A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
Du kannst nicht mehr als 25 Themen auswählen Themen müssen entweder mit einem Buchstaben oder einer Ziffer beginnen. Sie können Bindestriche („-“) enthalten und bis zu 35 Zeichen lang sein.
 
 
 
Achim D. Brucker aaad4fb482 Clean /tmp director after build. vor 4 Tagen
.ci Added support for Isabelle 2019. vor 1 Jahr
debian4isabelle Allow user of podman as alternative to docker. vor 3 Monaten
isabelle Clean /tmp director after build. vor 4 Tagen
isabelle_dof Setup for various versions of Isabelle. vor 4 Wochen
LICENSE Initial commit. vor 2 Jahren
README.md Added links for Isabelle/DOF 1.1.0. vor 4 Wochen
build.sh Updated latest Isabelle version and export environment. vor 1 Monat
config Updated latest Isabelle version and export environment. vor 1 Monat

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.