TLA⁺ is more than a DSL for breadth-first search (by ahelwer) — discussion

#formalmethods