https://github.com/TOTBWF/lean4-raytrace

A simple raytracer written in lean
https://github.com/TOTBWF/lean4-raytrace

lean lean4

Last synced: 6 months ago
JSON representation

A simple raytracer written in lean

• Host: GitHub
• URL: https://github.com/TOTBWF/lean4-raytrace
• Owner: TOTBWF
• Created: 2021-01-13T08:49:55.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2021-01-13T09:03:54.000Z (about 5 years ago)
• Last Synced: 2025-03-06T17:16:04.517Z (11 months ago)
• Topics: lean, lean4
• Language: Lean
• Homepage:
• Size: 117 KB
• Stars: 11
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.org

Awesome Lists containing this project

README

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

* Sample Output

  [[./examples/trace.png]]