仓库

tlaplus 的仓库

1 个支持的仓库

只显示包含已索引 issue 的仓库
tlaplus/tlaplusJava

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

最近提交 2024年1月15日

 (2,153 stars) (179 forks) (33 个已索引 issue) (32 个开放 good first issue)