# content
Improving system safety with Temporal Logic of Actions (TLA+) (via juri) — discussion

#formalmethods #vibecoding