/coq-art

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

Primary LanguageCoqMIT LicenseMIT

Stargazers

No one’s star this repository yet.