zipperposition icon indicating copy to clipboard operation
zipperposition copied to clipboard

Published 20 hours ago • verified publisher icon sneeuwballen

Otter loop?

Open c-cube opened this issue 5 years ago • 0 comments

an alternative to discount, could be interesting to explore

  • for forward demod/simp_reflect (all rewrite rules are used, even passive ones)
  • maybe for forward subsumption, too

c-cube avatar Aug 01 '19 16:08 c-cube