environment
MacBook Pro (13-inch, M1, 2020)
Apple M1
16GB
Java
brew install java
TLA+
https://github.com/tlaplus/tlaplus/releases/download/v1.7.1/TLAToolbox-1.7.1-macosx.cocoa.x86_64.zip
↑
これをインストール
PT Library
git clone https://github.com/Apress/practical-tla-plus.git
Add Directory で clone したディレクトリからPTディレクトリを指定してApply
TLA+チートシート
こちらは、TLA+の学習法などをまとめ、さらに基本構文がまとまっている記事です。
https://zenn.dev/riita10069/articles/bc689cae1c7bc0