GitHub repository: Certora/ERC4626_Workshop
Primary language: Solidity
Description: Repository for the specifications for the Certora workshop on ERC4626 at TrustX @ Istanbul 2023.