Skip to content

refactor: adopt Statlib's klBerReal - #378

Merged
lmlexplore-automation[bot] merged 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:overlap/331-klberreal
Nov 14, 2026
Merged

lmlexplore-automation[bot] merged 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:overlap/331-klberreal

refactor: rename klBerReal_nonneg and reuse klBerReal_eq_of_ne

ec4ae39
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
app-credentials
succeeded Nov 14, 2026 in 3s