@article{fin_stochastic_portfolio_theory,
  author = {Nagy, Tam\'{a}s},
  title = {{Stochastic Portfolio Theory, Machine-Checked: What Is Proven, What Is Sealed Against Mathlib, and What Stays a Modeling Assumption}},
  year = {2026},
  doi = {10.5281/zenodo.22223907},
  url = {https://thalens.org/papers/fin_stochastic_portfolio_theory/},
  pdf = {https://thalens.org/papers/fin_stochastic_portfolio_theory/paper.pdf},
  note = {Draft},
}