项目作者: tlaplus

项目描述 :
A parser for TLA+, the Temporal Logic of Actions
高级语言: Python
项目地址: git://github.com/tlaplus/tla_python.git
创建时间: 2020-10-20T22:47:14Z
项目社区:https://github.com/tlaplus/tla_python

开源协议:BSD 3-Clause "New" or "Revised" License

下载