I don't think a Latex write-up would be much easier to formalize than raster scan. Now making the Latex infra and formalizing can be parallelized, but they are

I don't think a Latex write-up would be much easier to formalize than raster scan. Now making the Latex infra and formalizing can be parallelized, but they are already doing that!