GitHub repository: IntersectMBO/formal-ledger-specifications
Primary language: Agda
Description: Formal specifications of the Cardano ledger