Submissions from github.com/kmill | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit | from

		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