1Mathematical finance, formally verified in Lean 4 (opens in new tab)(github.com)GitHub3raphaelrrcoelho14h ago0Save