Search Docker Hub
debian4isabelle
By logicalhacking
Debian base-image including dependencies for Isabelle/HOL.
559
Sort by
TAG
latest
Last pushed about 4 years by adbrucker
docker pull logicalhacking/debian4isabelle:latest