IntersectMBO/formal-ledger-specifications
View on GitHubFormal specifications of the Cardano ledger
- Stars
- 52
- Forks
- 20
- Open beginner issues
- 0
- Indexed issues
- 161
- Avg merge
- 6d 14h
- Merged PRs (30d)
- 7
- Dominant language
- Agda
- License
- Apache-2.0
- Last GitHub push
- Sep 14, 2026
- Latest indexed
- Sep 17, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- Code of conduct
- Beginner labels
- good first issue help wanted
-
IntersectMBO/formal-ledger-specifications#79 · 2 comments · 0 reactions · 1 assignee ·
-
investigation metaprogramming
IntersectMBO/formal-ledger-specifications#5 · 4 comments · 0 reactions · 0 assignees ·
-
enhancement
IntersectMBO/formal-ledger-specifications#9 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement good first issue
IntersectMBO/formal-ledger-specifications#31 · 2 comments · 0 reactions · 0 assignees ·
-
investigation
IntersectMBO/formal-ledger-specifications#38 · 1 comment · 0 reactions · 0 assignees ·
-
era: conway
IntersectMBO/formal-ledger-specifications#45 · 5 comments · 0 reactions · 0 assignees ·
-
era: babbage era: conway
IntersectMBO/formal-ledger-specifications#47 · 1 comment · 0 reactions · 0 assignees ·
-
📋 backlog era: shelley-ma
IntersectMBO/formal-ledger-specifications#56 · 0 comments · 0 reactions · 1 assignee ·
-
Broken inference Openenhancement good first issue investigation
IntersectMBO/formal-ledger-specifications#86 · 0 comments · 0 reactions · 1 assignee ·
-
IntersectMBO/formal-ledger-specifications#119 · 1 comment · 0 reactions · 0 assignees ·
-
conformance enhancement haskell interface
IntersectMBO/formal-ledger-specifications#151 · 0 comments · 0 reactions · 0 assignees ·
-
documentation enhancement good first issue help wanted
IntersectMBO/formal-ledger-specifications#182 · 2 comments · 0 reactions · 0 assignees ·
-
era: conway
IntersectMBO/formal-ledger-specifications#187 · 0 comments · 0 reactions · 0 assignees ·
-
good first issue
IntersectMBO/formal-ledger-specifications#207 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement investigation
IntersectMBO/formal-ledger-specifications#208 · 0 comments · 0 reactions · 0 assignees ·
-
era: conway investigation
IntersectMBO/formal-ledger-specifications#212 · 3 comments · 0 reactions · 0 assignees ·
-
Organise imports Openenhancement good first issue
IntersectMBO/formal-ledger-specifications#222 · 0 comments · 0 reactions · 0 assignees ·
-
IntersectMBO/formal-ledger-specifications#233 · 0 comments · 0 reactions · 0 assignees ·
-
enhancement
IntersectMBO/formal-ledger-specifications#241 · 0 comments · 0 reactions · 0 assignees ·
-
era: conway
IntersectMBO/formal-ledger-specifications#278 · 0 comments · 0 reactions · 0 assignees ·
-
Alonzo documentation Opendocumentation
IntersectMBO/formal-ledger-specifications#283 · 0 comments · 0 reactions · 0 assignees ·
-
Equality in the PDF Opendocumentation enhancement latex
IntersectMBO/formal-ledger-specifications#286 · 3 comments · 0 reactions · 0 assignees ·
-
documentation latex
IntersectMBO/formal-ledger-specifications#289 · 2 comments · 0 reactions · 0 assignees ·
-
documentation investigation
IntersectMBO/formal-ledger-specifications#295 · 0 comments · 0 reactions · 0 assignees ·
-
IntersectMBO/formal-ledger-specifications#302 · 2 comments · 0 reactions · 0 assignees ·
-
ci
IntersectMBO/formal-ledger-specifications#311 · 1 comment · 0 reactions · 0 assignees ·
-
enhancement investigation
IntersectMBO/formal-ledger-specifications#322 · 0 comments · 0 reactions · 0 assignees ·
-
investigation
IntersectMBO/formal-ledger-specifications#335 · 0 comments · 0 reactions · 0 assignees ·
-
Formatting STS rules Opendocumentation
IntersectMBO/formal-ledger-specifications#340 · 3 comments · 0 reactions · 0 assignees ·
-
IntersectMBO/formal-ledger-specifications#405 · 0 comments · 0 reactions · 0 assignees ·
-
era: conway property status:stated
IntersectMBO/formal-ledger-specifications#412 · 1 comment · 0 reactions · 0 assignees ·
-
era: conway property status:idea
IntersectMBO/formal-ledger-specifications#415 · 1 comment · 0 reactions · 0 assignees ·
-
property
IntersectMBO/formal-ledger-specifications#418 · 0 comments · 0 reactions · 0 assignees ·
-
blocked era: conway property
IntersectMBO/formal-ledger-specifications#419 · 0 comments · 0 reactions · 0 assignees ·
-
discussion documentation
IntersectMBO/formal-ledger-specifications#436 · 0 comments · 0 reactions · 0 assignees ·
-
bug conformance era: conway haskell interface
IntersectMBO/formal-ledger-specifications#450 · 0 comments · 0 reactions · 0 assignees ·
-
Add `REAP` STS Openenhancement era: conway era: shelley
IntersectMBO/formal-ledger-specifications#455 · 2 comments · 0 reactions · 0 assignees ·
-
era: shelley property
IntersectMBO/formal-ledger-specifications#468 · 0 comments · 0 reactions · 0 assignees ·
-
documentation
IntersectMBO/formal-ledger-specifications#497 · 0 comments · 0 reactions · 0 assignees ·
-
conformance enhancement
IntersectMBO/formal-ledger-specifications#546 · 3 comments · 0 reactions · 0 assignees ·
-
Roadmap Open
IntersectMBO/formal-ledger-specifications#572 · 0 comments · 0 reactions · 0 assignees ·
-
conformance era: conway
IntersectMBO/formal-ledger-specifications#620 · 0 comments · 0 reactions · 0 assignees ·
-
conformance era: conway
IntersectMBO/formal-ledger-specifications#624 · 0 comments · 0 reactions · 0 assignees ·
-
Rename `BaseAddr` Open
IntersectMBO/formal-ledger-specifications#625 · 0 comments · 0 reactions · 0 assignees ·
-
conformance era: conway
IntersectMBO/formal-ledger-specifications#634 · 4 comments · 0 reactions · 1 assignee ·
-
good first issue
IntersectMBO/formal-ledger-specifications#644 · 0 comments · 0 reactions · 0 assignees ·
-
era: dijkstra
IntersectMBO/formal-ledger-specifications#664 · 1 comment · 0 reactions · 0 assignees ·
-
documentation
IntersectMBO/formal-ledger-specifications#667 · 1 comment · 0 reactions · 0 assignees ·
-
📋 backlog era: shelley
IntersectMBO/formal-ledger-specifications#675 · 7 comments · 0 reactions · 4 assignees ·
-
discussion documentation
IntersectMBO/formal-ledger-specifications#677 · 8 comments · 2 reactions · 0 assignees ·