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 …
Illuminating Science