Sign inSign up

talex5/tla

By talex5

•Updated almost 8 years ago

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

Image
1

1.8K

talex5/tla repository overview

See https://github.com/talex5/tla⁠

Tag summary

Content type

Image

Digest

Size

422.6 MB

Last updated

almost 8 years ago

docker pull talex5/tla