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