raphaelrrcoelho/formal-mathfin

The Lean Financial Mathematics Library

3 best points · 0 comments · 1 Hacker News post · 50 GitHub stars · View on GitHub

Hacker News discussions

• Mathematical finance, formally verified in Lean 4 (3 points, 0 comments, by raphaelrrcoelho, 2026-06-29)