omelkonian/formal-utxo

Multicurrency: State `Provenance` theorem

omelkonian opened this issue 5 years ago · 1 comments

omelkonian commented 5 years ago

Multicurrency: State `Provenance` theorem

omelkonian commented 4 years ago

Done in c23e852