https://aconite-ac.github.io/how_to_install_lean/ https://aconite-ac.github.io/how_to_install_lean/how-to-install.html https://aconite-ac.github.io/how_to_install_lean/how-to-install/debian-ubuntu.html https://aconite-ac.github.io/how_to_install_lean/how-to-install/debian-ubuntu-detailed.html https://aconite-ac.github.io/how_to_install_lean/how-to-install/linux.html https://aconite-ac.github.io/how_to_install_lean/how-to-install/macos.html https://aconite-ac.github.io/how_to_install_lean/how-to-install/macos-detailed.html https://aconite-ac.github.io/how_to_install_lean/how-to-install/windows-quickstart.html https://aconite-ac.github.io/how_to_install_lean/how-to-install/windows-detailed.html https://aconite-ac.github.io/how_to_install_lean/elan.html https://aconite-ac.github.io/how_to_install_lean/elan/update-lean-and-elan.html https://aconite-ac.github.io/how_to_install_lean/lake-package-manager.html https://aconite-ac.github.io/how_to_install_lean/lake-package-manager/how-to-use-existing-project.html https://aconite-ac.github.io/how_to_install_lean/lake-package-manager/how-to-create-project.html https://aconite-ac.github.io/how_to_install_lean/lake-build-system.html https://aconite-ac.github.io/how_to_install_lean/faq.html