Posts for: #TLA+

『Learn TLA+』 35페이지 전체를 한 페이지로 압축했다. TLA+가 무엇이고 왜 쓰는지에서 시작해 장별 핵심 개념·문법·함정, 치트시트, 원문 주장 팩트체크까지 담았다.

Hillel Wayne의 무료 TLA+ 입문서 『Learn TLA+』 35페이지 전체를 한국어로 옮겼다. 연산자·PlusCal·불변식에서 동시성·시간 속성·순수 TLA+까지, 그리고 최적화·예제·표준 모듈 레퍼런스까지. 코드와 스펙 파일은 원문 그대로다(CC BY 4.0).