markblokpoel / mathlib-repo 0.1.5

GNU General Public License v3.0 only GitHub

Scala versions: 2.13

mathlib-repo

Found 6 versions

0.1.5

4 months ago

JVM:

2.13

0.1.4

4 months ago

JVM:

2.13

0.1.3

4 months ago

JVM:

2.13

0.1.2

5 months ago

JVM:

2.13

0.1.1

5 months ago

JVM:

2.13

0.1.0

5 months ago

JVM:

2.13