Fast forward rules - Githubissues

leanprover-community / aesop

White-box automation for Lean 4

Apache License 2.0

191 stars 26 forks source link

Open JLimperg opened 7 months ago

JLimperg commented 7 months ago

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

girving commented 7 months ago

Exciting!