derek-certora / contracts-lib Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A personal library of contracts for experimentation with formal specification

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
custodian		custodian
erc20		erc20
toy-trade		toy-trade
LICENSE		LICENSE
README.md		README.md

Repository files navigation

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

About

A personal library of contracts for experimentation with formal specification

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages