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
custom build instructions in meta.yml, regenerate README and opam
#8
Closed
palmskog
closed
4 years ago
palmskog
commented
4 years ago
Fixes #7.
Fixes #7.