-
smartcontracts authored
Moves all contract interfaces to a new top-level folder. Keeps things much cleaner and more sane for a future auto-generated interface system.
ec05937c
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| proofs | ||
| scripts | ||
| README.md | ||
| pausability-lemmas.md |