Lean repository linked
Almost sure null bankruptcy of testing-by-betting strategies
arXiv:2602.08888 · arXiv
Lean formalisations (1)
RemyDegenne/Wang2026Almost at 5cd4a6523592
Linked by the repository’s formalization.yaml.
Audit: awaiting publication.