search

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq
MIT License
201 stars 51 forks source link

Add Hint Mode to Class ReSum (-<) #235

Closed Lysxia closed 2 years ago

Lysxia commented 2 years ago

Part of #230