fbpx

The Effort to Build the Mathematical Library of the FutureBy: Kevin Hartnetton October 11, 2020 at 12:00 pm Publication: Feed: All Latest

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.
Categories   Science, Science / Physics and Math, Digitizing Math

YouTube
LinkedIn
LinkedIn
Share