Tag Archives: mathematics library

Accelerating mathematics

Let’s say that someone had a big pot of money, and wanted to use it to accelerate mathematical discovery. How might they go about doing this? The traditional approach Historically it has been governments who have been driving this agenda, … Continue reading

Posted in mathlib | Tagged , , , , , , , , , | 2 Comments