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