Top
New
Best
Ask
Show
Jobs

Comment

Comment by heliumtera

>The recommended way to install Lean is through VS Code and the Lean 4 VS Code extension,

Lol

parent heliumtera 6 months ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton