HN
Hacker News
Top
New
Best
Ask
Show
Jobs
nilradical
21 karma · joined February 1, 2021
submissions
comments
A simple ray tracer in Lean 4
github.com
·
53 pts
·
nilradical
·
28