Does anybody know of a site that has a set of all theorems?

Question

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

All theorems is a tall order. You might be interested in ProofWiki. — Dylan Moreland, May 25 '12 at 13:53
I mean not all, but a lot of them. Yes that is Im looking for. Thanks @DylanMoreland — Mauricio Cordeiro, May 25 '12 at 14:06
@DylanMoreland, i thinks that U need your comment like answer. For i can put like this is the answer i needed. :) — Mauricio Cordeiro, May 25 '12 at 14:36
What about sites corresponding to the automated proof-checkers? — GEdgar, May 25 '12 at 16:06
Hey, nobody brought up Math.StackExchange and Mathoverflow, yet? — draks ..., May 25 '12 at 18:59

score 2 · Accepted Answer · edited Jun 29 '14 at 14:43

2

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

Feel free to add any website/reference you find!

edited Jun 29 '14 at 14:43

Gabriel Romon

answered May 25 '12 at 15:59

M Turgeon

1 Answers1