omelkonian / hoare-ledgers

Separation logic for UTXO-based blockchain ledgers

http://omelkonian.github.io/hoare-ledgers

Geek Repo

Github PK Tool