Zulip Chat Archive
Stream: Is there code for X?
Topic: Empirical Measures
Fred Rajasekaran (Jun 15 2025 at 00:13):
Is there a definition and some basic API for empirical measures (Wikipedia page) in mathlib? Would be nice to have the Glivenko Cantelli theorem too
Yaël Dillies (Jun 15 2025 at 06:10):
It's something I want too!
Last updated: Dec 20 2025 at 21:32 UTC