README.md

My Personal Library of Ethereum Smart Contracts

A personal library of contracts for experimentation with formal specification. Not to be relied on for anything at all, not even to be interesting.

Library includes:

• ERC20 token contract
• custodian contract, a toy contract which takes custody of a user's ERC20 tokens
• toy-trade contract, a toy trading contract between two ERC20 token contracts