issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
199
stars
50
forks
source link
Make default the more corecursive version of `eutt`.
#70
Closed
gilhur
closed
5 years ago
gilhur
commented
5 years ago
Simplify several proofs directly using this new
eutt
.
Lysxia
commented
5 years ago
I'm going to fix the
interp1
proofs.
eutt
.