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.