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: Dec 20 2023 at 11:08 UTC