wvhulleennreal-arith

Simplify arithmetic expressions of ENNReal numbers in Lean4
#arithmetic #probability #real #tactic #ennreal #mathematics #mathlib4 #proof-assistant
Displaying 1-1 of 1 packages depending on wvhulle/ennreal-arith
Sort by

  1. sysghent/riddle-proofsuses73746d6

    Riddles solved in Lean4 for educational purposes