kmill/lean4-raytracer
View on GitHub ↗ ★ 147 Lean
A simple raytracer written in Lean 4
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2021-02-01 · latest 2024-12-26
20082026
-
…with Lean: https://github.com/anurudhp/aoc2022 Somebody managed to write a raytracer with Lean: https://github.com/kmill/lean4-raytracer
comment by agnishom · 2024-12-26 · in F*: A proof oriented general purpose programming language -
…rendering time compared to the C implementation (Lean is 25x slower, but that was a year ago). [1] https://github.com/kmill/lean4-raytracer
comment by siknad · 2023-05-29 · in Functional Programming in Lean -
▲ 53
A simple ray tracer in Lean 4story by nilradical · 2021-02-01 · 28 comments