leanprover-community / mathlib

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

Zulip Chat Archive

Stream: Zulip meta

Topic: Tip Linkifier


Julian Berman (Feb 11 2022 at 19:57):

Hi hi. Can we have a linkifier for the tips and tricks page maybe? E.g. tip#profiling-proofs for https://leanprover-community.github.io/tips_and_tricks.html#profiling-proofs

Rob Lewis (Feb 23 2022 at 22:54):

Sorry, missed this before! tip#profiling-proofs ?

Julian Berman (Feb 23 2022 at 23:36):

All good! Thanks yeah looks great!


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll