Sign inSign up

talex5/tla

By talex5

•Updated almost 8 years ago

The TLA+ tools (TLC, TLATEX, TLAPS), for CI

Image
1

1.8K

Tags for talex5/tla

Sort by

TAG

latest

Last pushed almost 8 years by talex5

docker pull talex5/tla:latest
DigestOS/ARCHCompressed size

e8e938bc122b

linux/amd64

422.59 MB