Container definitions (tested with docker and podman) for SCALE-MAMBA.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Achim D. Brucker 2e421a3ce0 Added links to docker hub. 10 months ago
scale-mamba-1.5 Initial commit. 10 months ago
scale-mamba-1.11 Intitial commit. 10 months ago
LICENSE Initial commit. 10 months ago Added links to docker hub. 10 months ago

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


Main author: Achim D. Brucker


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