Top
New
Best
Ask
Show
Jobs

Fermat's Last Theorem in Lean 4

146 points aaraujo002 1 month ago 31 comments

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton