New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Set up a version of Loogle #363

Open

jstoobysmith opened this issue Mar 3, 2025 · 0 comments

Assignees

Labels

Member

jstoobysmith commented Mar 3, 2025

For mathlib loogle allows one to easily search for definitions and theorems.
The repo for loogle is here.

I would like to have a version of loogle for PhysLean. I suspect that this will involve finding server space somewhere, which adds some complication.

jstoobysmith added enhancement help wanted labels

jstoobysmith self-assigned this

jstoobysmith removed the help wanted label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment