GitHub repository: xxyz/software-foundations
Primary language: Coq
Description: Solutions to the Software Foundations online course