lh-docker
A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
Updated 2023-05-07 14:41:19 +00:00
Container definitions (tested with docker and podman) for SCALE-MAMBA.
Updated 2021-01-31 15:01:04 +00:00