undefined | Better HN

0 pointsbmitc2y ago0 comments

Mathlib is not nearly as complete as advertised. It is very much a collection of research projects with little cohesion.

0 comments

staunton2y ago

A 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?

1 more reply

j / k navigate · click thread line to collapse

0 pointsbmitc2y ago0 comments

Mathlib is not nearly as complete as advertised. It is very much a collection of research projects with little cohesion.

0 comments

staunton2y ago

A 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?

1 more reply

j / k navigate · click thread line to collapse