Zulip Chat Archive
Stream: mathlib4
Topic: Old docs
Martin Dvořák (Oct 22 2025 at 14:44):
Is it possible to browse Mathlib docs for an old Lean version online?
Bryan Gin-ge Chen (Oct 22 2025 at 14:48):
We only host the latest version at #docs. It might be useful to store older tagged versions as well, but no one has done it yet.
Last updated: Dec 20 2025 at 21:32 UTC