issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
198
stars
50
forks
source link
Itree spec
#191
Closed
lag47
closed
3 years ago
lag47
commented
3 years ago
Merging different experimental branches regarding itree specs
Merging different experimental branches regarding itree specs