dwrenshatryAtEachStep

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

  1. dwrensha/compfilesuseslean-v4.35.0

    Catalog Of Math Problems Formalized In Lean

  2. jcreedcmu/Noperthedronuseslean-v4.35.0

    The Noperthedron does not have Rupert Property: a proof in Lean4

  3. dwrensha/rupertuseslean-v4.35.0

    Formalization of the Rupert Problem for convex polyhedra.