Skip to content

feat(PhyslibAlpha): Fisher-Rao metric and Cramer-Rao bound for algebraic framework - #1657

Closed
naype888-cloud wants to merge 6 commits into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-fisher-rao
Closed

naype888-cloud wants to merge 6 commits into
leanprover-community:masterfrom
naype888-cloud:feat-physlibalpha-fisher-rao

refactor(PhyslibAlpha): move expect and variance under OpenSimplex

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

Annotations

2 warnings and 1 notice
Add size label
succeeded Sep 19, 2026 in 41s