No results found

tryAtEachStep

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

  1. dwrensha/compfilesuses1e84868

    Catalog Of Math Problems Formalized In Lean

  2. bergmannjg/timeusesf098d8d

    Port of the haskell time library to Lean 4 and verification of date calculations