2 Stochastic integral

Overview

We describe the construction of a stochastic integral.

Status The formalization is ongoing.

Formalization authors Anyone is welcome to contribute!