tryAtEachStep
Try a tactic at each step in a Lean proof.
of 3 packages depending on dwrensha/tryAtEachStep
1-3Sort by
Package Name
dwrensha/compfilesuses
778619d
Catalog Of Math Problems Formalized In Leandwrensha/rupertuses
778619d
Formalization of the Rupert Problem for convex polyhedra.bergmannjg/timeuses
0bcba0a
Port of the haskell time library to Lean 4 and verification of date calculations