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
Add metadata and CI
#1
Closed
palmskog
closed
5 years ago
palmskog
commented
5 years ago
The usual README and CI boilerplate, I will merge when CI passes.
The usual README and CI boilerplate, I will merge when CI passes.