Geeks
filecoin-project
/
tla-f3
PlusCal/TLA+ spec for GossiPBFT
Primary Language
TLA
Apache License 2.0
Apache-2.0
tla-f3 GitHub
Markdown
Readme
0
Issues
0
Stargazers
11
Watchers
Watchers
jbenet
Earth
masih
Pale Blue Dot
Stebalien
mishmosh
Philadelphia, PA
aakoshh
dnkolegov
galargh
vukolic
matejpavlovic
Zurich, Switzerland
protocolin
SF
eemailme