[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] TLA+ Specs of TLA+ Tools like TLC, TLaTeX, etc.

From: Chris Ortiz <zitroomega@xxxxxxxxx>
Date: Wed, 9 Sep 2026 11:06:04 -0700 (PDT)

Hi TLA+ Community,

Good morning. I would like to know if there are TLA+ Specs of the TLA+ tool ecosystem out there that we can refer to? Kindly let me know where I can find them if they exist. If not, there should be no reason why we cannot demonstrate writing TLA+ spec for the specification of the software that helps evangalize TLA+.

Thanks, and best regards,

Chris (zitro)

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/011581d4-811c-4d09-8940-e93131154b11n%40googlegroups.com.

Follow-Ups:
- Re: [tlaplus] TLA+ Specs of TLA+ Tools like TLC, TLaTeX, etc.
  - From: Markus Kuppe

Prev by Date: [tlaplus] Web engine using TLA+
Next by Date: Re: [tlaplus] TLA+ Specs of TLA+ Tools like TLC, TLaTeX, etc.
Previous by thread: [tlaplus] Web engine using TLA+
Next by thread: Re: [tlaplus] TLA+ Specs of TLA+ Tools like TLC, TLaTeX, etc.
Index(es):
- Date
- Thread