GitHub repository: vladzamfir/cbc_casper
Primary language: Isabelle
Description: Isabelle formalization of binary consensus