HN
Hacker News
Top
New
Best
Ask
Show
Jobs
picrin
2 karma · joined June 22, 2016
submissions
comments
6 proofs of 2 + 2 = 2 * 2
lean-ide.github.io
·
3 pts
·
picrin
·
3
Show HN: A formal proof of deMorgan's law in lean
github.com
·
3 pts
·
picrin
·
5