Specification languages need big investments essentially - both in technical and educational terms. Consider something like TLA+. How can we make things such a

Specification languages need big investments essentially - both in technical and educational terms. Consider something like TLA+. How can we make things such as that - be useful in an LLM orchestration framework, be human friendly - that'd be the question I ask. So the developer will verify just the spec, and let the LLM match against it in a tougher way than it is possible to do now.