|Achim D. Brucker b761d788a8||5 months ago|
|.ci||1 year ago|
|debian4isabelle||1 year ago|
|isabelle||1 year ago|
|isabelle_dof||1 year ago|
|LICENSE||1 year ago|
|README.md||1 year ago|
|build.sh||5 months ago|
debian4isabelle provides a generic Debian image that serves as basis for the Isabelle docker files. This image is not eagerly optimized for size, as it goal is to include all tools that are required for running Isabelle and tools based on Isabelle (e.g., HOL-TestGen).
isabelle provides a parametrized Dockerfile to generate docker images for various version of Isabelle. The image will also contain a copy of the most recent version of the AFP available for the specified version of Isabelle.
isabelle_dof provides a parametrized Dockerfile to generate docker images of Isabelle/DOF. Isabelle/DOF is a document authoring framework for Isabelle, provided by the University of Exeter and the University of Paris-Saclay.
Main author: Achim D. Brucker
If not otherwise stated, all hacks are licensed under a 2-clause BSD-style license.
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.