issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
194
stars
49
forks
source link
ITree home page / bibliography
#242
Open
Lysxia
opened
1 year ago
Lysxia
commented
1 year ago
[ ] Fonts
[ ] Logo?
[ ] todos