dwrensha / tryAtEachStepLinks

Try a tactic at each step in a Lean proof.
27Updated last month

Alternatives and similar repositories for tryAtEachStep

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

Sorting: