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: May 02 2025 at 03:31 UTC