Geeks
leithaus
/
casper
Formal specification and reference implementation of Casper
Primary Language
TeX
casper GitHub
Markdown
Readme
0
Issues
15
Stargazers
8
Watchers
casper