Zulip Chat Archive
Stream: PhysLean
Topic: Mathlib docs broken
Winston Yin (尹維晨) (Feb 24 2026 at 01:57):
Mathlib docs seems to be broken for me. The site works but nothing in Mathlib is indexed.
https://leanprover-community.github.io/mathlib4_docs/
Bryan Gin-ge Chen (Feb 24 2026 at 02:10):
There is another thread on this here #mathlib4 > The documentation page breaks?
Last updated: Feb 28 2026 at 14:05 UTC