Draft Message to Nicolas Cerrajero

Dr. Tamás Nagy Proof Record Quantitative Finance Lean-Verified

Mathematics verified. Core theorems are machine-checked in Lean 4. Prose and presentation may not have been human-reviewed.

Length

283 words

Status

Draft