TLA+ in support of AI code generation #1 Post by atomicnature » Sat, Mar 28, 2026, 1:52 PM UTC TLA+ in support of AI code generationmedium.com