GitHub repository: Certora/ethGatheringBarcelona_worksop
Primary language: Solidity
Description: Source code for Certora workshop at ETH Gathering in Barcelona