GitHub repository: Certora/sushiswap
Primary language: Solidity
Description: Sushiswap smart contracts 🍣 📝