IntersectMBO / IntersectMBO/formal-ledger-specifications
"legacy" specifications not linked to
Open
- Dominant language
- Agda
- Stars
- 52
- Forks
- 20
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
Description
The README says
> The table below provides links to the full formal ledger specification (as browsable HTML), as well as the legacy PDF artifacts.
but it does not in fact link to the "legacy" PDF artifacts. It could simply link back to https://github.com/IntersectMBO/cardano-ledger/?tab=readme-ov-file#cardano-ledger
Contributor guide
Assessment
This issue has not been assessed yet.