issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
194
stars
49
forks
source link
Adapt to https://github.com/coq/coq/pull/18590
#261
Closed
proux01
closed
4 months ago
proux01
commented
4 months ago
@Lysxia this is backward compatible and can be merged
@Lysxia this is backward compatible and can be merged