Mathematical finance, formally verified in Lean 4

Mathematical finance, formally verified in Lean 4: Mathematical finance, formally verified in Lean 4 helps teams persist, query, and move data with less custom