Mathematical finance, formally verified in Lean 4
By raphaelrrcoelho · 2026-06-29 · 2 points · 0 comments
https://github.com/raphaelrrcoelho/formal-mathfin
By raphaelrrcoelho · 2 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews