search

leanprover / vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant
Apache License 2.0
170 stars 49 forks source link

moogle 2.0 + leandocsearch #548

Open jesse-michael-han opened 2 weeks ago

jesse-michael-han commented 2 weeks ago

Video demonstrating new UI / features:

https://github.com/user-attachments/assets/3685f63c-c519-42f5-8f62-3978c231e60b