smq/directoryAn evolving quant resource archive
Paper / 2026SMQ / 140333488825785
The Fundamental Theorem of Asset Pricing, Formalized in Lean 4
asset pricing / martingalesResource overview

The Fundamental Theorem of Asset Pricing, Formalized in Lean 4

Paper2026

by Raphael Coelho

Tags
asset pricingmartingalesmathematical financemeasure theoryprobabilityprogramming

Continue on SelfMadeQuant

Understand this paper

Suggested foundations for asset pricing and factor research and stochastic processes and pricing. Specialist prerequisites vary by paper.

Before you read

Go further

Explore a related reading path