A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
Nie możesz wybrać więcej, niż 25 tematów Tematy muszą się zaczynać od litery lub cyfry, mogą zawierać myślniki ('-') i mogą mieć do 35 znaków.
 
 
 
Achim D. Brucker aaad4fb482 Clean /tmp director after build. 4 dni temu
.ci Added support for Isabelle 2019. 1 rok temu
debian4isabelle Allow user of podman as alternative to docker. 3 miesięcy temu
isabelle Clean /tmp director after build. 4 dni temu
isabelle_dof Setup for various versions of Isabelle. 4 tygodni temu
LICENSE Initial commit. 2 lat temu
README.md Added links for Isabelle/DOF 1.1.0. 4 tygodni temu
build.sh Updated latest Isabelle version and export environment. 1 miesiąc temu
config Updated latest Isabelle version and export environment. 1 miesiąc temu

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.