Geeks
gurpreetshanky
/
lean4-raytracer
A simple raytracer written in Lean 4
Primary Language
Lean
lean4-raytracer GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
jhcloos