HN Explorer

dbpokorny

↗ HN profile [ 70.0 ms ] full profile
Karma
45
Created
January 25, 2013 (13y ago)
Submissions
0
  1. Isabelle - Generic Proof Assistant (cl.cam.ac.uk)
    2 points 0