Back to search
Top Contributors
15
commits
A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
Stars
20
Forks
1
Watchers
20
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
15
commits