GitHub repository: Certora/YieldBox
Primary language: Solidity
Description: Certora's verification of YieldBox