Latest version
[](https://index.scala-lang.org/markblokpoel/mathlib/mathlib)
JVM badge
[](https://index.scala-lang.org/markblokpoel/mathlib/mathlib)