LLM 시대를 위한 TLA+ 입문: 프롬프트로 성공하기

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