multi-era

Here is 1 public repository matching this topic...

diorwave / bcc-ledger-space

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

Add this topic to your repo

To associate your repository with the multi-era topic, visit your repo's landing page and select "manage topics."

Learn more