API Doc
Awesome Scala
Login
markblokpoel
/
mathlib-repo
0.1.1
GNU General Public License v3.0 only
GitHub
Scala versions:
2.13
Project
Artifacts
Versions
Badges
Statistics
0 watchers
1 Contributors
0 Stars
0 Forks
11 Commits
0 Open issues
0 Dependents
1 Dependency
markblokpoel/mathlib
0.9.3
No Dependent