What TLA+ can and can't check

(buttondown.com)

243 points | by b-man 3 days ago ago