Morph MORPH
SIGN IN SIGN UP
dhruvhead / vscode-lean4 UNCLAIMED
0 0 0

ACTIVITY

Commits Reviews
week month year
COMMITS
2
in the last week
CONTRIBUTORS
1
active
STARS
0
total
FORKS
0
total
TOP CONTRIBUTORS
M
Marc Huisinga
2 commits
RECENT COMMITS
M
chore: hide "show imports" and "show imported by" commands in command palette (#781)
Marc Huisinga
17d1d08
M
feat: improve error messages when deps that should be shipped by default are not present (#780)
Marc Huisinga
f51fd49