lh-docker

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

Updated 1 week ago

People