A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
您最多选择25个主题 主题必须以字母或数字开头,可以包含连字符 (-),并且长度不得超过35个字符
 
 
 
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.