lh-docker
A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
Updated 1 year ago
Container definitions (tested with docker and podman) for SCALE-MAMBA.
Updated 2 years ago
A repository of Dockerfiles for running Isabelle or projects based on Isabelle.
Updated 1 year ago
Container definitions (tested with docker and podman) for SCALE-MAMBA.
Updated 2 years ago