issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
194
stars
49
forks
source link
Add #[global] attribute to Hint Rewrite
#227
Open
Lysxia
opened
2 years ago
Lysxia
commented
2 years ago
This needs to wait Coq 8.14...
This needs to wait Coq 8.14...