GitHub repository: Certora/lido-dao
Description: Lido DAO smart contracts