Top
New
Best
Ask
Show
Jobs

L leanprover.github.io

Theorem Proving in Lean [pdf]

91 points furcyd 7 years ago 22 comments

Discussion

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton