Skip to content

feat(QuantumInfo): Fisher-Rao metric and Cramer-Rao bound on finite simplex - #1652

Closed
naype888-cloud wants to merge 1 commit into
leanprover-community:masterfrom
naype888-cloud:nava-fisher-rao-cramer-rao
Closed

naype888-cloud wants to merge 1 commit into
leanprover-community:masterfrom
naype888-cloud:nava-fisher-rao-cramer-rao

feat(QuantumInfo): Fisher–Rao metric and Cramér–Rao bound on finite s…

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

Annotations

1 warning
Comment a pull_request
succeeded Sep 11, 2026 in 38s