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 indexierte Issues) (32 offene good first issues)
Repositories
Täglicher Newsletter
Erhalte frische Easy Issues per E-Mail.
Abonniere GoodFirstIssue Daily für neue Easy Issues, mit denen Einsteiger echte Open-Source-Arbeit starten können.