Lean 4.35.0 ships vcgen, lake check, and bundled independent kernels