GitHub repository: wvhulle/ennreal-arith
Primary language: Lean
Created: 2025-07-03T18:43:30Z
Description: Simplify arithmetic expressions of ENNReal numbers in Lean4