Popping again the same repeating question, once every two years :) Have anyone found (or wrote?) or knows a formal definition document of the TLA+ syntax, semantics, grammar ?
I am looking for something which is ASCII-text-searchable e.g. I want to know what is the meaning and usage of '\subseteq' operator?
Gal.
ב-יום שלישי, 14 בספטמבר 2021 בשעה 20:56:40 UTC+3, Andrew Helwer כתב/ה: