markblokpoel / mathlib-repo 0.1.5

GNU General Public License v3.0 only GitHub

Scala versions: 2.13

Latest version

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

JVM badge

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