GitHub repository: karmacoma-eth/halmos-sandbox
Primary language: Solidity
Description: A forkable template repo for easily writing and testing toy contracts