tla-specifications topic
List
tla-specifications repositories
tlaplus_specs
29
Stars
1
Forks
Watchers
Different TLA+ specifications, mostly for learning purposes
