Skip to content

TOTBWF/lean4-raytrace

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

This is an experiment in using Lean 4 as a general purpose programming language.

Sample Output

./examples/trace.png

About

A simple raytracer written in lean

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages