Hacker News new | ask | show | jobs
Why Not Use Lean? (lawrencecpaulson.github.io)
6 points by baruchel 52 days ago