3 ms·
Do you have plans to apply this broadly to the historical math literature?
by pfdietz 10mo ago
Do you have plans to apply this broadly to the historical math literature?
- maxwells-daemon 10mo agoYes! I think that working with Mathlib is the best long term solution, because it's how people already collaborate on building out the formal "universe of mathematics." We want to speed that up, and hopefully we'll cover all of the common topics very soon!