tryAtEachStep
Try a tactic at each step in a Lean proof.
of 4 packages depending on dwrensha/tryAtEachStep
1-4Sort by
Package Name
dwrensha/compfilesuses
1d8614f
Catalog Of Math Problems Formalized In Leanbergmannjg/Regexuses
ea68488
A PCRE2 compatible regular expression engine written in Lean 4.dwrensha/rupertuses
1d8614f
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