Hacker Newsnew | past | comments | ask | show | jobs | submit | picrin's submissionslogin
1.
6 proofs of 2 + 2 = 2 * 2 (lean-ide.github.io)
3 points by picrin on Feb 12, 2017 | past | 3 comments
2.
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

Search: