GitHub repository: FrederikVigen/ConCert
Primary language: Coq
Description: A framework for smart contract verification in Coq