Submissions from github.com/picrin | Hacker News

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

		Show HN: A formal proof of deMorgan's law in lean (github.com/picrin)
		3 points by picrin on Dec 4, 2016 \| past \| 5 comments

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