GitHub repository: runtimeverification/kontrol-solady
Primary language: Solidity
Description: Solady formal verification with Kontrol