issues
search
DeepSpec
/
InteractionTrees
A Library for Representing Recursive and Impure Programs in Coq
MIT License
204
stars
51
forks
source link
Purge 'Typeclasses eauto :=' from HeterogeneousRelations
#231
Closed
Lysxia
closed
2 years ago