Some material in the mathematical library was developed in the last few years, while much of it is more basic mathematics considered sufficiently well understood for inclusion.

“Essentially all of the library now is, uh- is, is well thought out, beautiful ideas. Some of the things in the library are actually stuff that happened in the last few years, but a lot of it is much more basic stuff, uh, that we feel like we understand well because that's, you know, that's when you want to commit, right?”