|
|
| | New Foundations Proof Explorer (metamath.org) | |
2 points by jasonhansel on Sept 5, 2020 | past
|
|
| | Proof Explorer – Home Page – Metamath (metamath.org) | |
1 point by HNLurker2 on April 25, 2019 | past
|
|
| | Metamath (metamath.org) | |
167 points by lainon on Feb 19, 2019 | past | 19 comments
|
|
| | Mathematical Proofs as Music: Metamath Music (metamath.org) | |
51 points by mrccc on Feb 8, 2019 | past | 6 comments
|
|
| | The Axioms in the MetaMath system (metamath.org) | |
1 point by etaioinshrdlu on June 6, 2018 | past
|
|
| | 2 + 2 =/= 5 (metamath.org) | |
2 points by mathoff on Feb 5, 2017 | past
|
|
| | Metamath: A Stack-Oriented Language and Proof Explorer (metamath.org) | |
3 points by imode on Jan 25, 2017 | past
|
|
| | Proof of “√2 is irrational” using only logical formulas (metamath.org) | |
2 points by hacker42 on May 27, 2016 | past
|
|
| | Metamath (metamath.org) | |
2 points by rfreytag on May 17, 2016 | past
|
|
| | Metamath (metamath.org) | |
1 point by andyjohnson0 on Oct 29, 2013 | past
|
|
| | Music for Axiom of Choice (metamath.org) | |
3 points by protez on March 29, 2013 | past | 1 comment
|
|
| | Metamath Proof Explorer: Proving 2+2=4. In detail. (metamath.org) | |
6 points by ColinWright on Aug 5, 2011 | past
|
|
| | Metamath (metamath.org) | |
4 points by pw0ncakes on May 5, 2010 | past
|
|
| | Proof of Euler's Identity (e^(i pi) = -1) in a tiny formal system (metamath.org) | |
2 points by bumbledraven on Jan 14, 2010 | past
|
|
| | Metamath - Complete proofs all the back to ZFC set theory axioms (metamath.org) | |
3 points by Jebdm on Jan 10, 2009 | past
|
|
|
Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
