Zulip Chat Archive
Stream: general
Topic: site mathlib-overview
Johan Commelin (Jan 13 2022 at 09:27):
Can we make the section headers in https://leanprover-community.github.io/mathlib-overview.html linkable?
Johan Commelin (Jan 13 2022 at 09:33):
Maybe I figured it out. This is my cargo cult attempt: https://leanprover-community.github.io/mathlib-overview.html
I don't know what I'm doing.
Last updated: Aug 03 2023 at 10:10 UTC