Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
A simple ray tracer in Lean 4 (github.com/kmill)
53 points by nilradical on Feb 1, 2021 | past | 28 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: