주 언어가 TLA인 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
다양한 복잡성을 가진 TLA⁺ 명세 모음
Raft 합의 알고리즘을 위한 TLA+ 명세
"며칠간의 디버깅으로 몇 시간을 절약할 수 있다"는 TLA+ 튜토리얼. 각 git 커밋마다 새로운 개념이 도입되므로 git 기록을 확인하세요.
