Intro to TLA+ for the LLM Era: Prompt Your Way to Victoryemptysqua.re
76 points by zdw 2 days ago | 18 comments