basicapp topic
List
basicapp repositories
new-tailwind-app
2.2k
Stars
184
Forks
Watchers
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tlaplus
2.2k
Stars
184
Forks
Watchers
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.