ocaml-lang / coq-art Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
Home Page: https://coq-community.org/coq-art/
License: MIT License