A docker image for working with development versions of Isabelle (https://isabelle.in.tum.de)
alexkrauss/isabelle-dev-docker
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A docker image for working with development versions of Isabelle (https://isabelle.in.tum.de)