alt
Hacker News
heliumtera
•
yesterday at 5:48 PM
•
0 replies
•
view on HN
>The recommended way to install Lean is through VS Code
Is that enough reason?
alt Hacker News