ProofWiki

Interesting! I’m far from an expert and should get back to my desk, but I’m curious if any experts know: has this cross-pollinated with WikiFunction yet? I know this isn’t a WMF site, but the two seem applicable to each other, in theory?

Wikidata I guess could be too… empirical facts about mathematics as an academy are tough. They’re juust small enough that duplicating the relevant knowledge (sub)graph juuust starts to make sense, but only if you’re not interested in real world data on author, publishers, schools, etc, and not just proofs.

I guess I’ll have to check it out in more detail later! Thanks for sharing. Wikis never disappoint