Zulip Chat Archive

Stream: new members

Topic: download

BANGJI HU (Dec 10 2024 at 10:12):

how can i download lean and mathlib on my cellphone

Rida Hamadani (Dec 10 2024 at 10:39):

You can use gitpod

Last updated: Dec 20 2025 at 21:32 UTC