GitHub - kmill/lean4-raytracer: A simple raytracer written in Lean 4 - discu.eu

Hacker News

A simple ray tracer in Lean 4 https://github.com/kmill/lean4-raytracer 28 comments 1/2/2021

Linked pages

https://raytracing.github.io/books/RayTracingInOneWeekend.html 211 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - kmill/lean4-raytracer: A simple raytracer written in Lean 4

See how to search.

Submit link to: