-
Notifications
You must be signed in to change notification settings - Fork 83
Pull requests: leanprover/vscode-lean4
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Update manual with PR instructions for abbreviations
awaiting-author
#684
opened Oct 27, 2025 by
kckennylau
Loading…
Use shallow clone when cloning mathlib (saves 388MB disk space)
#676
opened Oct 2, 2025 by
BalaM314
Loading…
feat: [lean4web] abstract lean client setup for websocket clients
#568
opened Jan 13, 2025 by
joneugster
Loading…
feat: [lean4web] abstract the implementation of infoview as a webview
#567
opened Jan 13, 2025 by
joneugster
Loading…
feat: add a setting to disable the loading spinner animation
#561
opened Dec 22, 2024 by
YnirPaz
Loading…
feat: skip infoview breaking test on major version bump
awaiting-author
#459
opened Jun 3, 2024 by
joneugster
Loading…
1 task done
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.