wr
hn
Top
New
Best
Ask
Show
Jobs
Back
L
leanprover.github.io
Theorem Proving in Lean
156 points
benwr
8 years ago
30 comments
Discussion
