search

Certora / tutorials-code

Certora tutorials
MIT License
19 stars 24 forks source link

Exemplary ERC4626 specs #2

Closed johspaeth closed 1 year ago

johspaeth commented 1 year ago

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

johspaeth commented 1 year ago

Used wrong branch for merging