Dockerfiles for Isabelle and Related Projects

This repository contains Dockerfiles for running SCALE-MAMBA and projects based on SCALE-MAMBA. The Dockerfiles are tested with podman and Docker.

List of Dockerfiles

• scale-mamba-1.11 provides SCALE-MAMBA 1.11. Available on docker hub as:

  • logicalhacking/scale-mamba-1.11

• scale-mamba-1.5 provides SCALE-MAMBA 1.5. Available on docker hub as:

  • logicalhacking/scale-mamba-1.5

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-scale-mamba.