issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
194
stars
49
forks
source link
Release version 5.2.0
#266
Closed
Lysxia
closed
3 months ago