Awesome Lists
Top Projects
Most Links
Search
About
Add Project
PoS-NSB
A formalization of a Proof-of-Stake Nakamoto-style blockchain in Coq
GitHub
25
stars
3
watching
2
forks
Language:
Coq
last commit:
over 3 years ago