issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
194
stars
49
forks
source link
Change deprecated 'ident' to 'name' in Notations
#234
Closed
Lysxia
closed
2 years ago
Lysxia
commented
2 years ago
Deprecated in 8.13
Deprecated in 8.13