Lean reference manual documents vcgen, the successor of mvcgen in Lean 4.35