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.
via Zero Tech Blog
Home » Feed: All Latest »
Zero Tech Blog
» The Effort to Build the Mathematical Library of the Future
Subscribe to:
Post Comments (Atom)