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

124 points

by zdw

2 days ago

27 comments