Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 2 Current »


Top level page where we can talk about Consensus and CASPER




An attempt at implementing CASPER in code.

https://medium.com/@pirapira/formal-methods-on-another-casper-8a75f6e02073

  • No labels