lh-docker
/
lh-docker-scale-mamba
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Added note that files are tested with podman and Docker.

This commit is contained in:
Achim D. Brucker 2021-01-28 21:48:10 +00:00
parent c1dfd4591d
commit e72d6b5f73
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -1,7 +1,8 @@
# [Dockerfiles for Isabelle and Related Projects](https://git.logicalhacking.com/lh-docker/lh-docker-scale-mamba)
This repository contains Dockerfiles for running [SCALE-MAMBA](https://github.com/KULeuven-COSIC/SCALE-MAMBA)
and projects based on [SCALE-MAMBA](https://github.com/KULeuven-COSIC/SCALE-MAMBA).
and projects based on [SCALE-MAMBA](https://github.com/KULeuven-COSIC/SCALE-MAMBA). The Dockerfiles are
tested with [podman](https://podman.io/) and [Docker](https://www.docker.com).
## List of Dockerfiles