Formally verified mathematical finance in Lean 4. Black–Scholes/Greeks/PDE, Itô calculus, FTAP/Girsanov, CRR→BS convergence, Merton jump-diffusion.
Last updated Jul 9, 2026
20
Stars
5
Forks
93
Issues
+1
Stars/day
Attention Score
70
Topics
Language breakdown
Lean 95.7%
Python 4.0%
Shell 0.2%
▸ Files
click to expand
README
No README available.
