Zulip Chat Archive
Stream: new members
Topic: Look for lemma
rory (Nov 02 2019 at 21:51):
How do people look for potential lemma that might be useful? I find searching through lean2 and mathlib quite inefficient.
Bryan Gin-ge Chen (Nov 02 2019 at 21:53):
Have you tried out library_search and find described here?
Bryan Gin-ge Chen (Nov 02 2019 at 21:53):
Oh and suggest as well.
rory (Nov 02 2019 at 21:56):
Oh and
suggestas well.
Cool, thanks.
Last updated: May 02 2025 at 03:31 UTC