kmill/lean4-raytracer

A simple raytracer written in Lean 4

53 best points · 28 comments · 1 Hacker News post · 147 GitHub stars · View on GitHub

Hacker News discussions

• A simple ray tracer in Lean 4 (53 points, 28 comments, by nilradical, 2021-02-01)