Formalization of the Cardano ledger specification
blockchain
distributed-computing
cryptocurrency
formal-methods
formal-verification
cardano
ouroboros
-
Updated
Feb 13, 2020 - Isabelle