HN Explorer

palmskog

↗ HN profile [ 25.9 ms ] full profile
Karma
47
Created
July 9, 2017 (9y ago)
Submissions
0
  1. Coq developers looking for community feedback, including on name change (sondages.inria.fr)
    3 points 0
  2. Coq is a Lean Typechecker (coq.discourse.group)
    91 points 36