coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
109 stars
8 watching
22 forks
Language: Coq
last commit: 2 months ago
Linked from 2 awesome lists
coqcoq-artdocker-coq-actionexercises
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]