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