Starred repositories
1
star
written in TLA
Clear filter
A collection of TLA⁺ specifications of varying complexities
A collection of TLA⁺ specifications of varying complexities