Local search with specific lean version?

[offendo]

Hi, appreciate the project - great to see new work in this area (new to me at least!).

Say I'm working on a project in Lean v4.28.0, and I want to use lean-explore to search mathlib in that version. Is this a supported feature (and if not, is there a plan for it?)

Thanks in advance!

[justincasher]

This is not supported yet, but we can consider it. Thanks for letting us know this is something you are interested in!