issues
search
tlaplus
/
Examples
A collection of TLA⁺ specifications of varying complexities
Other
1.29k
stars
200
forks
source link
Add Links to Tencent-Paxos-TLA in List of benchmarks and fix tiny typo
#12
Closed
Starydark
closed
5 years ago