Awesome Scala
Login
siddhartha-gadgil
/
provingground
0.1.1
MIT License
Website
GitHub
Proving Ground: Tools for Automated Mathematics
homotopy
scala
theorem-proving
Scala versions:
2.13
2.12
Project
2 Versions
Badges
provingground-core-jvm
provingground-mantle
2.13
2.12
Show pre-release versions
2
versions found for
provingground-core-jvm
0.1.1
3 years ago
MIT
JVM:
2.13
0.1.0
5 years ago
MIT
JVM:
2.12