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
Minimal changes to support Coq 8.12.0
#11
Closed
palmskog
closed
4 years ago
palmskog
commented
4 years ago
Suppress omega deprecation for now.
Suppress omega deprecation for now.