Zulip Chat Archive
Stream: new members
Topic: Installing on Windows
Conrad (Jul 05 2023 at 13:38):
how to install lean on windows
Patrick Massot (Jul 05 2023 at 13:40):
Please see https://leanprover-community.github.io/install/windows.html
Last updated: May 02 2025 at 03:31 UTC