search

IntersectMBO / formal-ledger-specifications

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

Improve hashing #566

Open Soupstraw opened 2 months ago

Soupstraw commented 2 months ago

Description

Checklist