markblokpoel / mathlib-repo   0.1.5

GNU General Public License v3.0 only GitHub
Scala versions: 2.13
Found 1 artifact
mathlib-repo 0.1.5
3 days ago
JVM:
2.13