Mathematical Library

This article in the Quanta Magazine reminds me of Isaac Asimov's novel series: Foundation and Stephen Wolfram's monumental work: "A New Kind of Science."

Building a library of mathematical proofs is a worthy cause because it is often challenging to find and use existing print format research.

https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001/