Zulip Chat Archive
Stream: lean4
Topic: lean search path
Dean Young (Apr 16 2023 at 01:54):
how might I figure out my lean search path?
Sebastian Ullrich (Apr 16 2023 at 07:47):
This is not a question you should have to ask yourself if you use Lake as intended
Scott Morrison (Apr 16 2023 at 08:30):
Last updated: Dec 20 2023 at 11:08 UTC