dwrensha / tryAtEachStep

Try a tactic at each step in a Lean proof.
25Updated last week

Alternatives and similar repositories for tryAtEachStep:

Users that are interested in tryAtEachStep are comparing it to the libraries listed below