Submissions from github.com/james-hanson | Hacker News

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

		Some Junk Theorems in Lean (github.com/james-hanson)
		91 points by saithound 65 days ago \| past \| 61 comments

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