GenAI-accelerated TLA+ challenge (by lemmster) — discussion

#ai #formalmethods