2 Stochastic integral

Overview

We describe the construction of a stochastic integral.

Status The formalization is ongoing.

Blueprint authors Rémy Degenne, Lorenzo Luccioli, Etienne Marion, Alessio Rondelli, Kexing Ying. Anyone is welcome to contribute!

Formalization authors Anyone is welcome to contribute!