coq-art topic
List
coq-art repositories
coq-art
104
Stars
20
Forks
Watchers
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]