AI is a gamechanger for TLA+ users (by hwayne) — discussion

#formalmethods #vibecoding