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

refactor: Split axiomatized entropy

8adfd01
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check for spelling errors
succeeded May 21, 2026 in 18s