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

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

lean lean4

Last synced: about 1 year 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 (over 5 years ago)
• Default Branch: master
• Last Pushed: 2021-01-13T09:03:54.000Z (over 5 years ago)
• Last Synced: 2025-01-17T02:35:06.645Z (over 1 year ago)
• Topics: lean, lean4
• Language: Lean
• Homepage:
• Size: 117 KB
• Stars: 12
• 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]]