HN
Hacker News
Top
New
Best
Ask
Show
Jobs
ndanilov
59 karma · joined October 25, 2015
submissions
comments
What Is Cosh(List(Bool))?
nikitadanilov.github.io
·
4 pts
·
ndanilov
·
0
A Secret Liouville's Theorem
cofault.com
·
1 pts
·
ndanilov
·
0
Long division verified via Hoare logic
cofault.com
·
114 pts
·
ndanilov
·
60
A History of Rectangle Area
cofault.com
·
3 pts
·
ndanilov
·
1