Repository

Repository di tlaplus

1 repository supportati

Mostra repository con issue indicizzate
tlaplus/tlaplusJava

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

Ultimo commit 15 gen 2024

 (2153 star) (179 fork) (33 issue indicizzate) (32 good first issue aperte)