tlaplus 的倉庫 | Good First Issue

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) (33 個開放 good first issue)