Is proofwiki.org a reliable source of math proofs?

Is proofwiki.org a reliable source of math proofs?

I'm inspired by this question about wikipedia. This site has much less traffic and not very known, but it appears in some google search about math, and I wonder your "subjective opinion", experience, if you found errors, if the proofs are satisfactory. I made a similar one about mathworld.

I find proof wiki to be reasonably reliable. The worry with the site is that it is very incomplete - often times proofs will cite theorems that don't have proofs on proof wiki. As a result, sometimes you have to go hunting for lemmata.

All websites have occasional errors, but proof wiki seems to me to be as reliable as a random survey paper.

For me, the main advantage of ProofWiki is how it is structured: as a web of axioms, definitions, and theorems that are interlinked through hyperlinks. Articles aim to be modular in that they contain only what's strictly necessary, referring to previous results and definitions where possible. Also, every major step is justified with a link to a previous result. ProofWiki gives me the confidence that, if I really really wanted to, I could trace any result back to the most fundamental of axioms.

When I first found the website (through searching for some proof or definition on Google), I had a bit of difficulty trying to grok the proofs, with their dry, precise, one-sentence-per-line style. But over time, this became a part of the value.

I'd say ProofWiki is most helpful as a reference, rather than for learning new material. For example, I find it very useful when I need a reminder of a proof or a definition. The conciseness of the presentation means that I can very quickly get an overview of the structure and flow of a proof, and identify each step very clearly. The text contains precisely what it needs to contain; I don't need to read explanatory sentences or passages about definitions/results that I already know. If I'm unsure about any particular step, I can just click on the link that takes me to the theorem/definition that is being used.

I also use it as a learning aid. I am a student, and sometimes the definitions and theorems in lectures are presented somewhat vaguely or I am left unsure about certain details. While the "textbook style" of writing is useful when you're being introduced to a new concept or result, the dry, precise style of ProofWiki is best when you're trying to get a rigorous mathematical "file" of the definition or result at hand.

Sure, ProofWiki sometimes contains errors, but at least in my experience, most of the time it's reliable. (Although admittedly what I'm looking up is mostly undergrad material, since that's what I'm studying.) Since I don't use it to learn new material but rather as a reference, I always read articles having had some exposure to the subject, so I read them critically, and it's easy enough to detect a mistake (and as far as I've seen, in the majority of cases they are just typos or other editorial errors).

Disclaimer: I am currently a (sporadic) contributor of ProofWiki