You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A PoC for a list-based ledger using Eq typeclass in Coq [do not merge]#4
Closed
mgudemann wants to merge 1 commit intomasterIntersectMBO/cardano-ledger:masterfrom Coq/PoC/generic_ledger_Eq_typeclassIntersectMBO/cardano-ledger:Coq/PoC/generic_ledger_Eq_typeclassCopy head branch name to clipboard
