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.
|
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 |
README.md
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:
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.