IntersectMBO / formal-ledger-specifications

Formal specifications of the cardano ledger

Apache License 2.0

38 stars 13 forks source link

Fix font inconsistencies #495

Closed williamdemeo closed 5 months ago

williamdemeo commented 5 months ago

Description

This closes issue #480.

Checklist

[X] Commit sequence broadly makes sense and commits have useful messages
[X] Code is formatted according to CONTRIBUTING.md
[X] Self-reviewed the diff