GitHub repository: runtimeverification/kontrol-workshop-ethcc-7
Primary language: Solidity
Description: Kontrol Workshop at ETHCC[7]