Search Docker Hub
tlaplus
By maxdiefenbach
TLA+ Docker image. See https://lamport.azurewebsites.net/tla/tla.html
303
Sort by
TAG
latest
Last pushed over 3 years by maxdiefenbach
docker pull maxdiefenbach/tlaplus:latest
ca8f6bc7f275
linux/amd64
1.61 GB