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
||2 years ago|
|scale-mamba-1.5||2 years ago|
|scale-mamba-1.11||2 years ago|
|LICENSE||2 years ago|
|README.md||2 years 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
scale-mamba-1.11 provides SCALE-MAMBA 1.11. Available on docker hub as:
scale-mamba-1.5 provides SCALE-MAMBA 1.5. Available on docker hub as:
Main author: Achim D. Brucker
If not otherwise stated, all Dockerfiles are licensed under a 2-clause BSD-style license.
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.