leanprover-community.github.io icon indicating copy to clipboard operation
leanprover-community.github.io copied to clipboard
verified publisher icon leanprover-community

Where is the archive generator?

Open srid opened this issue 1 year ago • 1 comments

Could someone point me to the code that is responsible for generating https://leanprover-community.github.io/archive/ ?

srid avatar Mar 17 '24 13:03 srid

https://github.com/robertylewis/zulip-archive, but it’s a lot less useful now that Zulip offers read access without creating an account.

PatrickMassot avatar Mar 19 '24 15:03 PatrickMassot