Formal specifications and executable models of the Bcc Ledger across multiple eras. Includes Haskell code, LaTeX specs, and formal proofs for validation, testing, and reference implementation.
haskell nix functional-programming smart-contracts blockchain proof consensus ledger specification domain-specific-language formal-specification utxo executable-specification eutxo lsabelle multi-era
-
Updated
Oct 7, 2025 - Haskell