search

IntersectMBO / formal-ledger-specifications

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

Revert "Change the way SPO votes are counted" #599

Closed WhatisRT closed 1 month ago

WhatisRT commented 1 month ago

Reverts IntersectMBO/formal-ledger-specifications#594