Proving Ground: Tools for Automated Mathematics
Scala versions:
2.13
Latest version
[](https://index.scala-lang.org/siddhartha-gadgil/provingground/provingground-core-jvm)
JVM badge
[](https://index.scala-lang.org/siddhartha-gadgil/provingground/provingground-core-jvm)