Mathematical finance, formally verified in Lean 4

• Posted 2 hours ago by raphaelrrcoelho
• 2 points