Container definitions (tested with docker and podman) for SCALE-MAMBA.
Вы не можете выбрать более 25 тем Темы должны начинаться с буквы или цифры, могут содержать дефисы(-) и должны содержать не более 35 символов.
Achim D. Brucker 2e421a3ce0 Added links to docker hub. 2 месяцев назад
scale-mamba-1.5 Initial commit. 2 месяцев назад
scale-mamba-1.11 Intitial commit. 2 месяцев назад
LICENSE Initial commit. 2 месяцев назад Added links to docker hub. 2 месяцев назад

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