GitHub repository: tm507211/Software-Verification
Primary language: Coq
Created: 2015-11-29T20:53:42Z
Description: Solutions to exercises from Software-Foundations and other Coq projects.