wr
hn
Top
New
Best
Ask
Show
Jobs
Back
L
lawrencecpaulson.github.io
“Why not just use Lean?”
304 points
ibobev
6 months ago
209 comments
Discussion
