Lists (5)
Sort Name ascending (A-Z)
Starred repositories
5
stars
written in TLA
Clear filter
A collection of TLA⁺ specifications of varying complexities
Dr. TLA+ series - learn an algorithm and protocol, study a specification
TLA+ specification for the Raft consensus algorithm