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.
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.
Comments are closed.