2
$\begingroup$

I mean, if there exists a site that his function is to show and save theorems with their proofs?

$\endgroup$
  • 1
    $\begingroup$ planetmath.org $\endgroup$ – Nate Eldredge May 25 '12 at 13:51
  • 3
    $\begingroup$ All theorems is a tall order. You might be interested in ProofWiki. $\endgroup$ – Dylan Moreland May 25 '12 at 13:53
  • $\begingroup$ Metamath perhaps? $\endgroup$ – MJD May 25 '12 at 14:06
  • $\begingroup$ I mean not all, but a lot of them. Yes that is Im looking for. Thanks @DylanMoreland $\endgroup$ – Mauricio Cordeiro May 25 '12 at 14:06
  • $\begingroup$ @DylanMoreland, i thinks that U need your comment like answer. For i can put like this is the answer i needed. :) $\endgroup$ – Mauricio Cordeiro May 25 '12 at 14:36
2
$\begingroup$

Here's a short list -- although it is indeed impossible to list all theorems.

Feel free to add any website/reference you find!

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.