wrhn
Comment

Comment by AcademicHamster

What are good beginner resources to learn Lean?
parent AcademicHamster 6 years ago

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton