TLA+
『実践TLA+』
https://github.com/Apress/practical-tla-plus
時相論理
をベースにしている
定理証明系言語
という括り
#??
https://zenn.dev/riita10069/articles/bc689cae1c7bc0
https://ytakano.hatenablog.com/entry/2021/11/24/150633
https://www.learntla.com/
Hillel Wayne