Convergence of an algorithm for the anisotropic and crystalline mean curvature flow

We give a simple proof of convergence of the anisotropic variant of a well-known algorithm for mean curvature motion, introduced in 1992 by Merriman, Bence, and Osher. The algorithm consists in alternating the resolution of the (anisotropic) heat equation, with initial datum the characteristic function of the evolving set, and a thresholding at level 1/2