Exemplary ERC4626 specs

Certora / tutorials-code

Certora tutorials

MIT License

19 stars 24 forks source link

Open johspaeth opened 1 year ago

johspaeth commented 1 year ago

Adding ERC4626 specs that can be used as baseline for other ERC4626 implementations.