arxiv:2606.15089
🏗️ Building on HF
Raphael Coelho
raphaelrrcoelho
AI & ML interests
None yet
Recent Activity
authored a paper about 3 hours ago
A Machine-Checked Itô Calculus for Brownian Motion authored a paper about 3 hours ago
The Fundamental Theorem of Asset Pricing, Formalized in Lean 4 updated a dataset 1 day ago
raphaelrrcoelho/formal-mathfin-theoremsOrganizations
None yet
