Convergence of the dynamical discrete web to the dynamical Brownian web
The 2d-directed spanning forest converges to the Brownian web