2020-10-20, 21:14
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.
https://www.wired.com/story/the-effort-t...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.
https://www.wired.com/story/the-effort-t...the-future