HN Explorer

max-amb

↗ HN profile [ 40.1 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. An introduction to formal proof verification and the Curry-Howard Correspondence (max-amb.github.io)
    27 points 5
  2. Curry-Howard Correspondence – How proof assistants work [pdf] (cklixx.people.wm.edu)
    1 points 0
  3. Zero Knowledge Tolstoyan Art (max-amb.github.io)
    40 points 5
  4. Some Intuition Behind the Contrapositive (max-amb.github.io)
    1 points 0
  5. Celebrated British artist David Hockney dies aged 88 (bbc.co.uk)
    6 points 0
  6. Turing Machines and Formal Computation (max-amb.github.io)
    1 points 0