search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

Add proof for Tencent-Paxos using TLAPS #24

Closed Starydark closed 4 years ago