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 · GitHub 星标：6 · Fork：0

话题：blockchain · consensus · domain-specific-language · eutxo · executable-specification · formal-specification · functional-programming · haskell

在 GitHub 上查看原仓库