GitHub repository: palmskog/coq-program-verification-template
Primary language: Coq
Created: 2020-09-05T08:55:23Z
Description: Template project for program verification in Coq