ProofWiki by Ciro Santilli 34 Updated +Created
A wiki that gathers mathematical proofs.
MediaWiki-based.
This appears to be the creator: github.com/externl "Joe George".