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".