Mathematical finance, formally verified in Lean 4

3 points | by raphaelrrcoelho 12 hours ago

1 comments