pmer/tla-bin

Command line binaries for the TLA+ language

语言：Shell · GitHub 星标：173 · Fork：26

话题：mit-license · model-checking · specification · tla · verification

在 GitHub 上查看原仓库