HN Explorer

nilradical

↗ HN profile [ 18.6 ms ] full profile
Karma
21
Created
February 1, 2021 (5y ago)
Submissions
0
  1. A simple ray tracer in Lean 4 (github.com)
    53 points 28