issues
search
coq-community
/
coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
https://coq-community.org/coq-art/
MIT License
110
stars
22
forks
source link
Bordeaux
#5
Closed
Casteran
closed
4 years ago
Casteran
commented
4 years ago
creation of a directory with new exercises
creation of a directory with new exercises