Docker image and runtime for Isabelle with X11 support.
Primary LanguageShell
No issues in this repository yet.