HN Explorer

picrin

↗ HN profile [ 55.1 ms ] full profile
Karma
2
Created
June 22, 2016 (10y ago)
Submissions
0
  1. 6 proofs of 2 + 2 = 2 * 2 (lean-ide.github.io)
    3 points 3
  2. Show HN: A formal proof of deMorgan's law in lean (github.com)
    3 points 5
  3. Docker and the PID 1 zombie reaping problem (blog.phusion.nl)
    1 points 0