项目描述 ：
A script for running TLA+/TLC from the command line

高级语言： Python

项目主页：

项目地址: git://github.com/hwayne/tlacli.git

创建时间： 2020-01-10T02:28:16Z
项目社区：https://github.com/hwayne/tlacli
开源协议：MIT License
下载