lean4-raytracer

A simple raytracer written in Lean 4 (by kmill)

Reviews and mentions

Posts with mentions or reviews of lean4-raytracer. We have used some of these posts to build our list of alternatives and similar projects.

Stats

Basic lean4-raytracer repo stats
1
80
2.9
10 months ago
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
Find remote jobs at our new job board 99remotejobs.com. There are 32 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.