I mean, if there exists a site that his function is to show and save theorems with their proofs?
Does anybody know of a site that has a set of all theorems?
2
$\begingroup$
reference-request
-
1http://planetmath.org/ – 2012-05-25
-
3_All_ theorems is a tall order. You might be interested in [ProofWiki](http://www.proofwiki.org/wiki/Main_Page). – 2012-05-25
-
0[Metamath](http://us.metamath.org/) perhaps? – 2012-05-25
-
0I mean not all, but a lot of them. Yes that is Im looking for. Thanks @DylanMoreland – 2012-05-25
-
0@DylanMoreland, i thinks that U need your comment like answer. For i can put like this is the answer i needed. :) – 2012-05-25
-
0What about sites corresponding to the automated proof-checkers? – 2012-05-25
-
0This reminds me of "The Book" of Erdos, only less elegant. – 2012-05-25
-
0Hey, nobody brought up [Math.StackExchange](http://math.stackexchange.com) and [Mathoverflow](http://mathoverflow.net/), yet? – 2012-05-25
1 Answers
2
Here's a short list -- although it is indeed impossible to list all theorems.
Feel free to add any website/reference you find!