Formal Applied Math

AI & ML interests

None defined yet.

Recent Activity

raphaelrrcoelho  updated a collection about 10 hours ago

Financial Mathematics Formalization Program

raphaelrrcoelho  updated a collection about 10 hours ago

Financial Mathematics Formalization Program

raphaelrrcoelho  updated a collection about 10 hours ago

Financial Mathematics Formalization Program

View all activity

Papers

A Machine-Checked Itô Calculus for Brownian Motion

View all Papers

Team members 1