Author: Robert Y. Lewis (@robertylewis)

Update server: Scott Morrison (@semorrison)

This is a static website, generated by Jekyll, for the Lean proof assistant community. See the site at https://leanprover-community.github.io.

The site includes a static archive of the leanprover Zulip chat. This archive is generated by a script that builds a local cache of the Zulip chat and updates it periodically.

This script can be easily modified to work for other Zulip chats. See https://github.com/zulip/zulip-archive.

The Jekyll simple style is thanks to wild-flame.