TLA+ Monthly Development Update - December 2024 (by ahelwer) — discussion

#formalmethods