No results found

tryAtEachStep

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

  1. dwrensha/compfilesuses0bcba0a

    Catalog Of Math Problems Formalized In Lean

  2. bergmannjg/Regexusese14a5ff

    A PCRE2 compatible regular expression engine written in Lean 4.

  3. dwrensha/rupertuses0bcba0a

    Formalization of the Rupert Problem for convex polyhedra.

  4. bergmannjg/timeusese8764ba

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