Mathematical finance, formally verified in Lean 4(github.com)
2 pointsby raphaelrrcoelho5 hours ago1 comment