No results found

tryAtEachStep

Try a tactic at each step in a Lean proof.
Displaying 1-1 of 1 packages depending on dwrensha/tryAtEachStep
Sort by

  1. dwrensha/compfilesusese7501e4

    Catalog Of Math Problems Formalized In Lean