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.
Building the Mathematical Library of the Future
Posted in futurism, mathematics
Posted in futurism, mathematics
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.