leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: Zulip meta

Topic: Zulip Server 6.0 release


Alya Abbott (Nov 17 2022 at 21:43):

We have released Zulip Server 6.0 today. Since this organization is on Zulip Cloud, this doesn't impact folks here directly, but the blog post might be a nice way to get an overview of new features from the last 8 months, plus other news from the Zulip project.


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll