search

IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger
Apache License 2.0
36 stars 13 forks source link

Split HSLedger into smaller modules #449

Closed Soupstraw closed 3 months ago

Soupstraw commented 4 months ago

Description

Checklist