Geeks
dranov
/
raft-tla
Primary Language
TLA
Other
NOASSERTION
raft-tla GitHub
Markdown
Readme
1
Issue
20
Stargazers
3
Watchers
Issues
Open issue
Inductive invariant for Raft using Apalache
#1 opened
2 years ago
by
heidihoward
2