My dotfiles but better
Why do you think that https://github.com/leanprover/vscode-lean is a good alternative to dotfiles-2.0
My dotfiles but better
Why do you think that https://github.com/leanprover/vscode-lean is a good alternative to dotfiles-2.0