Skip to content
This repository was archived by the owner on Mar 19, 2025. It is now read-only.
/ tlaplus-standard Public archive

A collection of various standards, proposed or established, related to TLA+

License

Notifications You must be signed in to change notification settings

tlaplus/tlaplus-standard

Error
Looks like something went wrong!

About

A collection of various standards, proposed or established, related to TLA+

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Contributors 2

  •  
  •  

Languages