A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
Nelze vybrat více než 25 témat Téma musí začínat písmenem nebo číslem, může obsahovat pomlčky („-“) a může být dlouhé až 35 znaků.
 
 
 
Achim D. Brucker aaad4fb482 Clean /tmp director after build. před 4 dny
.ci Added support for Isabelle 2019. před 1 rokem
debian4isabelle Allow user of podman as alternative to docker. před 3 měsíci
isabelle Clean /tmp director after build. před 4 dny
isabelle_dof Setup for various versions of Isabelle. před 4 týdny
LICENSE Initial commit. před 2 roky
README.md Added links for Isabelle/DOF 1.1.0. před 4 týdny
build.sh Updated latest Isabelle version and export environment. před 1 měsícem
config Updated latest Isabelle version and export environment. před 1 měsícem

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.