markblokpoel / mathlib   0.9.1

GNU General Public License v3.0 only GitHub
Scala versions: 2.13

Latest version

[![mathlib Scala version support](https://index-dev.scala-lang.org/markblokpoel/mathlib/mathlib/latest.svg)](https://index-dev.scala-lang.org/markblokpoel/mathlib/mathlib)

JVM badge

[![mathlib Scala version support](https://index-dev.scala-lang.org/markblokpoel/mathlib/mathlib/latest-by-scala-version.svg?platform=jvm)](https://index-dev.scala-lang.org/markblokpoel/mathlib/mathlib)