#

ennreal

Here is 1 public repository matching this topic...

wvhulle / ennreal-arith

Simplify arithmetic expressions of ENNReal numbers in Lean4

probability mathematics proof-assistant arithmetic real tactic lean4 mathlib4 ennreal

Updated Sep 9, 2025
Lean

Improve this page

Add a description, image, and links to the ennreal topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the ennreal topic, visit your repo's landing page and select "manage topics."