12.16.2021 Building the Mathematical Library of the Future A small community of mathematicians is using a software program called Lean to build a new digital repository. They hope it represents the future of their field.
