I've started contributing recently to proofwiki (https://proofwiki.org/wiki/Main_Page https://proofwiki.org/wiki/Main_Page) which is a similar sort of collectio

I've started contributing recently to proofwiki (https://proofwiki.org/wiki/Main_Page https://proofwiki.org/wiki/Main_Page) which is a similar sort of collection (this one is strictly proofs though). I think there's a pretty big fascination among mathematicians to collect and organize the universe of information. It's always fun to think of mapping dependencies between all known proofs