The current state of TLA⁺ development (by ahelwer) — discussion

#formalmethods