HN Explorer

mcshicks

↗ HN profile [ 60.2 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Mathmatics in Lean (leanprover-community.github.io)
    1 points 0
  2. How to Prove It with Lean (djvelleman.github.io)
    3 points 0
  3. Push for Digital ID Tech Spurred by Pandemic (news.bloomberglaw.com)
    1 points 0
  4. John Podesta was warned in 2008 to start encrypting sensitive emails (theintercept.com)
    2 points 0