aliceLeanV Lean (aliceLeanV)