GitHub repository: Certora/status-staking
Primary language: Solidity
Description: SNT Staking contracts (status)