I would expect such libraries to be a million lines of unenlightening trivialities. And the “libraries to reduce code duplication”, to mostly contain theorems that were proved in multiple places.
I would expect such libraries to be a million lines of unenlightening trivialities. And the “libraries to reduce code duplication”, to mostly contain theorems that were proved in multiple places.