TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
↑ +1 today
2 tracked repositories
Showcase your total open-source impact. This SVG badge updates automatically as our continuous crawler records new stars.
[](https://githubrepo.cloud/developers/tlaplus)
Sorted by stars
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
TLA+ language support for Visual Studio Code