Kyle Miller

icon indicating a website link https://kmill.github.io/

icon location Santa Cruz, California

Results 1 repositories owned by Kyle Miller

lean4-raytracer

116
Stars
5
Forks
Watchers

A simple raytracer written in Lean 4

verified publisher icon kmill