Kyle Miller
Results
1
repositories owned by
Kyle Miller
lean4-raytracer
116
Stars
5
Forks
Watchers
A simple raytracer written in Lean 4
