issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
201
stars
51
forks
source link
Fix FailFacts for coq-dev
#257
Closed
Lysxia
closed
1 year ago