/coq-sf-4.0

Working through Software Foundations to get a feel for proof assistants through Coq.

Primary LanguageHTMLMIT LicenseMIT

No issues in this repository yet.