GitHub repository: qmaurmann/sf
Primary language: Coq
Description: Working through Software Foundations (B. C. Pierce)