Displaying 1-3 of 3 packages depending on dwrensha/tryAtEachStep
Sort by
  1. dwrensha/compfilesuses778619d

    Catalog Of Math Problems Formalized In Lean
  2. dwrensha/rupertuses778619d

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

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