pkgs/applications/editors/vscode/extensions/leanprover.lean4/
pkgs/applications/editors/vscode/extensions/ · 0 packages and modules · 1 open pull requests
Pull requests 1
vscode-extensions.leanprover.lean4: build from source, bundle elan draft
#548832 by samestep · opened 2mo ago
Closed or merged in the last 60 days 1
Issues 0
None open.