On 9/4/21 6:51 PM, Clifford Heath wrote:
Is there a more readable syntax for TLA+ somewhere?
http://lamport.azurewebsites.net/tla/TLAPlus2Grammar.tla M. -- 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 on the web visit https://groups.google.com/d/msgid/tlaplus/10f96f13-fbb0-ea40-f1d2-38920e363071%40lemmster.de.