smq/directoryAn evolving quant resource archive
Paper / 2026SMQ / 102358532545339
A Formally Verified Library of Mathematical Finance in Lean 4
fixed income / measure theoryResource overview

A Formally Verified Library of Mathematical Finance in Lean 4

Paper2026

by Raphael Coelho

Tags
fixed incomemeasure theorystochastic calculus

Continue on SelfMadeQuant

Understand this paper

Suggested foundations for stochastic processes and pricing and rates and fixed income. Specialist prerequisites vary by paper.

Before you read

Go further

Explore a related reading path