lh-docker
/
lh-docker-scale-mamba
1
0
複製 0
程式碼 問題管理 0 合併請求 0 版本發佈 0 Wiki Activity
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.
6 Commit
1 分支
23 KiB
 
分支: main
分支列表 標籤列表
${ item.name }
Create branch ${ searchTerm }
from 'main'
${ noResults }
 ZIP  TAR.GZ
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 月之前
README.md Added links to docker hub. 2 月之前

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

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.