Zulip Chat Archive

Stream: Zulip meta

Topic: archive site shows 404

Junyan Xu (Jan 27 2023 at 06:53):

as of now: https://leanprover-community.github.io/archive/

Johan Commelin (Jan 27 2023 at 16:17):

Thanks for the ping! It's on the radar of the maintainer team.

Last updated: May 02 2025 at 03:31 UTC