Giters
kmill
/
lean4-raytracer
A simple raytracer written in Lean 4
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
116
Watchers:
7
Issues:
3
Forks:
5
kmill/lean4-raytracer Issues
Lean implementation is single-threaded
Closed
2 years ago
Comments count
7
missing C optimisations
Closed
2 years ago
Comments count
1
Missing license
Closed
2 years ago