Repository navigation

refactor: adopt Statlib's klBerReal - #378

Queued

RemyDegenne wants to merge 2 commits into

LeanMachineLearning:mainfrom

RemyDegenne:overlap/331-klberreal

Queued

refactor: adopt Statlib's klBerReal#378
RemyDegenne wants to merge 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:overlap/331-klberreal

Commits on Nov 14, 2026
- refactor: adopt Statlib's klBerReal
  
  RemyDegenne
  and
  claude
  committed
  ef6f34c
- refactor: rename klBerReal_nonneg and reuse klBerReal_eq_of_ne
  
  RemyDegenne
  and
  web-flow
  committed
  ec4ae39