Click to
download Lean_addon.1.7z
if it doesn't start automatically or try another
mirror
.