Mathematical finance, formally verified in Lean 4

 (github.com)

3 points | by raphaelrrcoelho 11 hours ago ago

1 comments