markblokpoel / mathlib 0.9.1

GNU General Public License v3.0 only GitHub

Scala versions: 2.13

mathlib

Found 4 versions

0.9.2-b1

1 year ago

JVM:

2.13

0.9.1

1 year ago

JVM:

2.13

0.9.0

1 year ago

JVM:

2.13

0.8.1

2 years ago

JVM:

2.13