leanprover-community / mathlib

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

Zulip Chat Archive

Stream: lean4

Topic: Docs: Manual Menu


Marcus Rossel (Jan 02 2023 at 11:32):

When viewing the Lean Manual in Safari on iOS, the menu button in the top left corner doesn't work for me. Is anybody else experiencing this?
For comparison, The Rust Programming Language's menu button works just fine.

Sebastian Ullrich (Jan 02 2023 at 13:32):

We might be missing fixes from upstream mdBook then


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll