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: Dec 20 2023 at 11:08 UTC