Avatar
Thomas Lin
flipped into Computer Science
Building the Mathematical Library of the Future

Mathematics

Building the Mathematical Library of the Future

Quanta Magazine - Kevin Hartnett

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 …

View on quantamagazine.org
Avatar - Quanta Magazine

Illuminating Science