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