Skip to content

Improve error estimation (API *and* implementation)#852

Merged
pnkraemer merged 8 commits into
mainfrom
improve-error-estimation
Feb 18, 2026
Merged

Improve error estimation (API *and* implementation)#852
pnkraemer merged 8 commits into
mainfrom
improve-error-estimation