Hacker News new | ask | show | jobs
by ninetyninenine 472 days ago
A wonder no one uses this for programming.
1 comments

Uses what?
Proofs