Hacker News new | ask | show | jobs
user: nilradical
created: 2021-02-01
karma: 21

submissions:

0 points | 0 comments
0 points | 0 comments
A simple ray tracer in Lean 4
53 points | 28 comments