A Formally Verified Library of Mathematical Finance in Lean 4 Paper • 2606.01356 • Published May 31 • 1
