GitHub repository: pirapira/cbc_casper
Primary language: Isabelle
Created: 2017-03-02T17:54:40Z
Description: Isabelle formalization of binary consensus