GitHub repository: sftypes/software-foundations
Primary language: Coq
Description: Coq proofs of exercises in Pierce's book