aesop icon indicating copy to clipboard operation
aesop copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Fast forward rules

Open JLimperg opened this issue 1 year ago • 1 comments
trafficstars

The current forward rule implementation is hilariously inefficient. We're currently working on something much better.

JLimperg avatar Feb 21 '24 22:02 JLimperg

Exciting!

girving avatar Feb 21 '24 22:02 girving