Hacker News: raphaelrrcoelhohttps://news.ycombinator.com/user?id=raphaelrrcoelhoHacker News RSShttps://hnrss.org/hnrss v2.1.1Wed, 01 Jul 2026 06:10:22 +0000<![CDATA[Mathematical finance, formally verified in Lean 4]]>Article URL: https://github.com/raphaelrrcoelho/formal-mathfin

Comments URL: https://news.ycombinator.com/item?id=48725989

Points: 3

# Comments: 0

]]>Mon, 29 Jun 2026 22:10:22 +0000https://github.com/raphaelrrcoelho/formal-mathfinraphaelrrcoelhohttps://news.ycombinator.com/item?id=48725989https://news.ycombinator.com/item?id=48725989