Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
Home Page:https://coq-community.org/coq-art/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool