What TLA+ can and can't check https://lobste.rs/s/3ufaju #formalmethods https://buttondown.com/hillelwayne/archive/what-tla-can-and-cant-check/