PrototypeCommon
kmill/lean4-raytracer
A simple raytracer written in Lean 4
- Owner
- kmill (personal account)
- Stars
- Stars: 147
- Forks
- Forks: 6
- Language
- Lean
- License
- Apache-2.0
- Created
- 2021
- Topics
- lean4raytracing
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Lean
All Lean repos- lfglabs-dev/verityStars: 153LeanPrototype
- flypitch/flypitchStars: 150LeanPrototype
- argumentcomputer/yatimaStars: 148LeanPrototype
- Timeroot/Lean-QuantumInfoStars: 146LeanPrototype
- loganrjmurphy/LeanEuclidStars: 145LeanPrototype
- LeanPool/lean-poolStars: 144LeanPrototype