Source: cirosantilli/proofwiki

= ProofWiki
{c}

A <wiki> that gathers mathematical proofs.

URL: https://proofwiki.org/wiki/Main_Page

<MediaWiki>-based.

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