Comment by vatsachak

Nice. Is the lean used to formalize formulas?