A community of mathematicians is using software called Lean to build a new digital repository. They hope it represents where their field is headed next.
Quelle: https://www.wired.com/story/the-effort-to-build-the-mathematical-library-of-the-future/
A community of mathematicians is using software called Lean to build a new digital repository. They hope it represents where their field is headed next.
Quelle: https://www.wired.com/story/the-effort-to-build-the-mathematical-library-of-the-future/