issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
198
stars
50
forks
source link
Make ITree.bind a function instead of a notation
#204
Closed
Lysxia
closed
3 years ago
Lysxia
commented
3 years ago
Simplify some proofs
Simplify some proofs