3 ms·
Mathlib is not nearly as complete as advertised. It is very much a collection of research projects with little cohesion.
by bmitc 3y ago
Mathlib is not nearly as complete as advertised. It is very much a collection of research projects with little cohesion.
- staunton 3y agoA CAS also covers only a tiny part of "an undergrad math degree" so that's beside the point here. Assuming it had appropriate tactics doing the job of a CAS using all theorems (which isn't happening any time soon), what math would be missing?
- deleted 3y ago[deleted]