#lean4 · dorkhub

browse tags weird

show your thing

trending newestlean4

saved following

lean4-raytracer

A simple raytracer written in Lean 4

Lean★ 146

lean4 raytracing

made by dorks, for dorks

manifesto✦sponsor✦terms✦privacy

search

search projects, people, and tags