Hacker News new | ask | show | jobs
by oa335 38 days ago
What are the downsides as compared to TLA+?
1 comments
mavelikara 36 days ago
Everything 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.
link