Hacker News new | ask | show | jobs
Lean (Proof Assistant) (en.wikipedia.org)
2 points by laowantong 743 days ago