Hacker News new | ask | show | jobs
user: ndanilov
created: 2015-10-25
karma: 59

submissions:

0 points | 0 comments
0 points | 0 comments
What Is Cosh(List(Bool))?
4 points | 0 comments
A Secret Liouville's Theorem
1 points | 0 comments
Long division verified via Hoare logic
114 points | 60 comments
A History of Rectangle Area
3 points | 1 comments