Skip to content

GitLab

Explore

Sign in
Register

C

cardano-ledger-specs

Project information

A formal specification and executable model of the ledger rules introduced by the Shelley release

6,086 Commits
151 Branches
6 Tags

README
Apache License 2.0

Created on

October 10, 2021

Copy SSH clone URLgit@gitlab.haskell.org:rmourey26/cardano-ledger-specs.git
Copy HTTPS clone URLhttps://gitlab.haskell.org/rmourey26/cardano-ledger-specs.git