Zulip Chat Archive
Stream: new members
Topic: can you install packages in the web editor
Alok Singh (Feb 21 2025 at 21:06):
Besides mathlib. In lean 4 web
Ruben Van de Velde (Feb 21 2025 at 21:12):
Only if you host it yourself
Last updated: May 02 2025 at 03:31 UTC