GitHub repository: Certora/openzeppelin-contracts
Primary language: JavaScript
Description: OpenZeppelin Contracts is a library for secure smart contract development.