This repository is not active
mettekou/software-foundations
Solutions to the exercises in Software Foundations by Benjamin Pierce et al.
CoqMIT
Solutions to the exercises in Software Foundations by Benjamin Pierce et al.
CoqMIT
This repository is not active