HN Explorer

ndanilov

↗ HN profile [ 21.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. 1 points 0
  2. What Is Cosh(List(Bool))? (nikitadanilov.github.io)
    4 points 0
  3. A Secret Liouville's Theorem (cofault.com)
    1 points 0
  4. Long division verified via Hoare logic (cofault.com)
    114 points 60
  5. A History of Rectangle Area (cofault.com)
    3 points 1