HN Explorer

laurent_du

↗ HN profile [ 104 ms ] full profile
Karma
0
Created
()
Submissions
-816,706,032
  1. An automatic theorem proving project (Tim Gowers, 2022) (gowers.wordpress.com)
    3 points 0