lh-docker
/
lh-docker-isabelle
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
1 Commit 1 Branch 0 Tags 67 KiB
Dockerfile 59.1%
Shell 40.9%
Go to file
Achim D. Brucker 58d8036e69 Initial commit. 2019-01-02 07:41:12 +00:00
LICENSE Initial commit. 2019-01-02 07:41:12 +00:00
README.md Initial commit. 2019-01-02 07:41:12 +00:00

README.md

Dockerfiles for Isabelle and Related Projects

This repository contains Dockerfiles for running Isabelle and projects based on Isabelle.

List of Dockerfiles

Authors

Main author: Achim D. Brucker

License

If not otherwise stated, all hacks 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.