markblokpoel / mathlib   0.9.1

GNU General Public License v3.0 only GitHub
Scala versions: 2.13
3 versions found for mathlib
0.9.1
6 months ago
JVM:
2.13
0.9.0
10 months ago
JVM:
2.13
0.8.1
1 year ago
JVM:
2.13