Geeks
vladzamfir
/
cbc_casper
Isabelle formalization of binary consensus
Primary Language
Isabelle
cbc_casper GitHub
Markdown
Readme
0
Issues
3
Stargazers
1
Watcher
Stargazers
F14r3
gcan42
skynet
W Research