Mathematical finance, formally verified in Lean 4

 (github.com)

2 points | by raphaelrrcoelho 2 hours ago

1 comments