GitHub repository: lemastero/software_foundations_coq
Primary language: Coq
Created: 2019-04-21T21:36:02Z
Description: Experiments with Software Foundations as described in online books encoded in Coq