Add Raft spec with Apalache type annotations - Githubissues

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities

Other

1.29k stars 200 forks source link

Add Raft spec with Apalache type annotations #43

Closed dranov closed 3 years ago

dranov commented 3 years ago

As discussed in https://github.com/tlaplus/Examples/issues/42.

lemmy commented 3 years ago

Thanks!