Outreach Drafts — Prospective Validation Collaborations

Dr. Tamás Nagy Short Draft Quantitative Finance Lean-Verified

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

Length

2,402 words

Status

Superseded