HN Explorer

teh_matt

↗ HN profile [ 40.6 ms ] full profile
Karma
7
Created
May 14, 2020 (6y ago)
Submissions
0
https://programsareproofs.com
  1. Code Reviews for Fun and Profit (programsareproofs.com)
    1 points 0
  2. Solving a Puzzlehunt with Satisfiability Modulo Theories (programsareproofs.com)
    3 points 0