Ciro Santilli @cirosantilli 37

Members of the orthogonal group.

Much of this section will be dumped at Section "Website front-end for a mathematical formal proof system" instead.

They split up from the rest of the mammals after the monotremes.

Every other mammal has a placenta.

This baby in pouch thing just feels like a pre-placenta stage.

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

A fancy name for calculus, with the "more advanced" connotation.