Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
Primary LanguageCoqMIT LicenseMIT