Repository navigation

refactor: adopt Statlib's klBerReal - #378

Merged

lmlexplore-automation[bot] merged 2 commits into

LeanMachineLearning:mainfrom

RemyDegenne:overlap/331-klberreal

Nov 14, 2026

Merged

refactor: adopt Statlib's klBerReal#378
lmlexplore-automation[bot] merged 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