Lean repository linked
An Exact Distribution-Free Test for Means of Nonnegative Random Variables
arXiv:2607.08415 · arXiv
Lean formalisations (1)
pengzhang91/Feige at 19c61d6cb556
Linked by the repository’s formalization.yaml.
Project review: author-verified
Audit: awaiting publication.