An extensive (mostly) math library following a logical and coherent structure with great levels of abstraction.
