wvhulleennreal-arith

Simplify arithmetic expressions of ENNReal numbers in Lean4
#arithmetic #probability #real #tactic #ennreal #mathematics #mathlib4 #proof-assistant
Displaying 1-1 of 1 versions of ennreal-arith
Sort by
  1. Not a part of any version track.
    71645fa
    3 months ago
    Released on September 5, 2025 at 6:14:08PM
    Commit 71645fa builds on its old leanprover/lean4:v4.22.0-rc3
    v4.22.0-rc3
    639.4 KB Build archive size: 639372 bytes.