Submissions from lean-ide.github.io | Hacker News

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

		6 proofs of 2 + 2 = 2 * 2 (lean-ide.github.io)
		3 points by picrin on Feb 12, 2017 \| past \| 3 comments

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