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: Feb 28 2026 at 14:05 UTC