Skip to content

refactor: adopt Statlib's klBerReal - #378

Queued
RemyDegenne wants to merge 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:overlap/331-klberreal
Queued

RemyDegenne wants to merge 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