Skip to content

Pull requests: IntersectMBO/formal-ledger-specifications

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Refactor GOV from conformance
#688 opened Feb 14, 2025 by carlostome Draft
5 tasks
Simplify isUnregisteredDRep
#684 opened Feb 12, 2025 by carlostome Loading…
4 tasks done
cardano-ledger.pdf improvements
#674 opened Feb 4, 2025 by williamdemeo Draft
4 tasks
agda2vec introduces extra empty lines
#666 opened Jan 31, 2025 by williamdemeo Loading…
3 of 4 tasks
641-incorporate-feedback-from-the-second-audit
#662 opened Jan 30, 2025 by carlostome Loading…
25 tasks done
Reference previous specifications & other material
#659 opened Jan 30, 2025 by williamdemeo Loading…
3 of 4 tasks
652 remove superscripts from rec constr
#655 opened Jan 29, 2025 by carlostome Loading…
3 of 4 tasks
PDF cleanup: explain sigma and pi types
#276 opened Nov 2, 2023 by williamdemeo Loading…
3 tasks done
ProTip! Add no:assignee to see everything that’s not assigned.