Top
New
Best
Ask
Show
Jobs

Comment

Comment by nylonstrung

Yeah 100% those are purchased/fake

Lean4 itself has 9k

parent nylonstrung 1 month ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton