HN
Hacker News
Top
New
Best
Ask
Show
Jobs
First Proof | Hacker News Reader
First Proof
1stproof.org
1 point
·
cod1r
·
·
1 comment
Open article
Save
View on HN
elliancarlos
·
I was expecting a use of the lean programming language, but nonetheless this work is very interesting.
Reply on news.ycombinator.com