What TLA+ can and can't check

 (buttondown.com)

243 points | by b-man 4 days ago

51 comments