wvhulleriddle-proofs0.0.2

Riddles solved in Lean4 for educational purposes
Sort by
  1. Git dependency.
    Found on Reservoir.

    proofwidgetsv0.0.67

    Helper toolkit for creating your own Lean 4 UserWidgets
  2. Git dependency.
    Found on Reservoir.

    ennreal-arith73746d6

    Arithmetic tactics for extended non-negative real numbers (ENNReal)
  3. Git dependency.
    Found on Reservoir.

    mathlib5c5a8de

    The math library of Lean 4