lh-docker

Container definitions (tested with docker and podman) for SCALE-MAMBA.

Updated 1 year ago

Dockerfile 0 0

A repository of Dockerfiles for running Isabelle or projects based on Isabelle.

Updated 1 year ago

People