-
A Formally Verified Library of Mathematical Finance in Lean 4
Paper • 2606.01356 • Published • 1 -
A Machine-Checked Itô Calculus for Brownian Motion
Paper • 2606.15089 • Published -
The Fundamental Theorem of Asset Pricing, Formalized in Lean 4
Paper • 2606.28990 • Published -
formal-applied-math/formal-mathfin-theorems
Viewer • Updated • 353 • 158
Formal Applied Math
non-profit
AI & ML interests
None defined yet.
Recent Activity
View all activity
-
A Formally Verified Library of Mathematical Finance in Lean 4
Paper • 2606.01356 • Published • 1 -
A Machine-Checked Itô Calculus for Brownian Motion
Paper • 2606.15089 • Published -
The Fundamental Theorem of Asset Pricing, Formalized in Lean 4
Paper • 2606.28990 • Published -
formal-applied-math/formal-mathfin-theorems
Viewer • Updated • 353 • 158