3 ms·
What are the downsides as compared to TLA+?
by oa335 5mo ago
What are the downsides as compared to TLA+?
- mavelikara 5mo agoEverything that can be expressed in TLA+ can’t be expressed in Quint. But everything useful for specifying programs, I believe, can be expressed in both languages.