GitHub repository: mlabs-haskell/GRANDPA-formal-verification
Primary language: HTML
Description: Formal verification with the proof approach of the GRANDPA algorithm, a key algorithm of Polkadot