GitHub repository: runtimeverification/_audits_Ethereum-optimism_pausability
Primary language: Go
Description: Optimism is Ethereum, scaled.