No results found

render

A simple raytracer written in Lean 4
#raytracing
Displaying 1-1 of 1 versions of render
Sort by
  1. Not a part of any version track.
    205143b
    6 months ago
    Released on May 16, 2024 at 6:10:44PM
    Commit 205143b builds on its old leanprover/lean4:v4.8.0-rc1
    v4.8.0-rc1