PiggyBankExtractLiquidity.v
Contents
Project Page
Index
Table of contents
Contents:
From
ConCert.Examples.PiggyBank
Require
Import
PiggyBank
.
(* TODO: extract the piggybank contract to Liquidity *)