Ciro Santilli @cirosantilli 34

MediaWiki extension that does this:It diddn't take off and is not in main Wikipedia. Kind of cool though.

wikix.binets.fr runs an internal MediaWiki instance available to all logged in alumni.

A wiki that gathers mathematical proofs.

URL: proofwiki.org/wiki/Main_Page

MediaWiki-based.

This appears to be the creator: github.com/externl "Joe George".