Displaying 1-4 of 4 packages depending on dwrensha/tryAtEachStep
Sort by
  1. dwrensha/compfilesuses1d8614f

    Catalog Of Math Problems Formalized In Lean
  2. bergmannjg/Regexusesea68488

    A PCRE2 compatible regular expression engine written in Lean 4.
  3. dwrensha/rupertuses1d8614f

    Formalization of the Rupert Problem for convex polyhedra.
  4. bergmannjg/timeuses0bcba0a

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