The Effort to Build the Mathematical Library of the Future
by Kevin Hartnett from Feed: All Latest on (#590HN)
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.