Intro to TLA+ for the LLM Era: Prompt Your Way to Victory

Intro to TLA+ for the LLM Era: Prompt Your Way to Victory (emptysqua.re)

124 points

byzdw

3 days ago |