My solutions to Software Foundations course in Coq proof assistant.
Primary LanguageCoqMIT LicenseMIT