GitHub repository: trusttoken/properties
Primary language: Solidity
Description: Pre-built security properties for common Ethereum operations