issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
194
stars
49
forks
source link
Prune and simplify proofs in extra/IForest.v
#244
Closed
Lysxia
closed
1 year ago
Lysxia
commented
1 year ago
Closes #243
Closes #243