TLA+
organization
T
TLA+
@tlaplusOrganization
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
Yesterday
That's the first commit mentioning @tlaplus.
TLA+
organization
@tlaplusOrganization
TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.
That's the first commit mentioning @tlaplus.