Skip to content

feat(AxiomatizedEntropy): expand RelEntropy API and add Hellinger overlap#1098

Open
dennj wants to merge 2 commits into
leanprover-community:masterfrom
dennj:axiomatized-entropy
Open

feat(AxiomatizedEntropy): expand RelEntropy API and add Hellinger overlap#1098
dennj wants to merge 2 commits into
leanprover-community:masterfrom
dennj:axiomatized-entropy

Commits

Commits on May 20, 2026

Commits on May 21, 2026