ztcheerup's repositories
CommunityModules
TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
Examples
A collection of TLA+ specifications of varying complexities
Language:TLANOASSERTION000
Python-100-Days
Python - 100天从新手到大师
Language:Python000
Python-Core-50-Courses
Python语言基础50课
000
tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Language:JavaMIT000
000