Menu

Blog

Dec 16, 2021

Building the Mathematical Library of the Future

Posted by in categories: futurism, mathematics

A small community of mathematicians is using a software program called Lean to build a new digital repository. They hope it represents the future of their field.

Leave a reply