GitHub repository: runtimeverification/dual-governance
Description: Lido Dual Governance contracts