Skip to content

A repository of Dockerfiles for running Isabelle or projects based on Isabelle.

License

Notifications You must be signed in to change notification settings

logicalhacking/lh-docker-isabelle

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

57 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

A repository of Dockerfiles for running Isabelle or projects based on Isabelle.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published