| About this page |
|---|
| This page contains information, documentation, and Jira issues related to consensus work. |
| An attempt at implementing CASPER in code |
|---|
| https://medium.com/@pirapira/formal-methods-on-another-casper-8a75f6e02073 |
| Technical docs and meeting notes |
|---|
| Issues in current sprint |
|---|