Sign inSign up

maxdiefenbach/tlaplus

By maxdiefenbach

•Updated over 3 years ago

TLA+ Docker image. See https://lamport.azurewebsites.net/tla/tla.html

Image
0

303

maxdiefenbach/tlaplus repository overview

No overview available
This repository doesn't have an overview

Tag summary

Content type

Image

Digest

sha256:ca8f6bc7f…

Size

1.6 GB

Last updated

over 3 years ago

docker pull maxdiefenbach/tlaplus