Hacker GitHub

← All repos

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

Mentions per year 3 mentions · busiest year 2021 (1)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 53
    A simple ray tracer in Lean 4
    story by nilradical · 2021-02-01 · 28 comments