GitHub repository: mo271/tryAtEachStep
Description: Try a tactic at each step in a Lean proof.