tryAtEachStep

Lean ★ 38 updated 4d ago

Try a tactic at each step in a Lean proof.

No plain-English explanation yet — one is being written right now. Check back in a minute.