tlaplus/tlaplusJava
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
(2.153 stars) (179 forks) (33 issues indexadas) (32 good first issues abertas)
Repositórios
Newsletter diária
Receba issues Easy novas por email.
Assine o GoodFirstIssue Daily para receber novas issues Easy prontas para trabalho open source amigável para iniciantes.