Top
New
Best
Ask
Show
Jobs

Comment

Comment by semigroupoid

IT = Information Technology

WP = Wikipedia

Lean -> https://leanprover.github.io

parent semigroupoid 5 years ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton