Proving Ground: Tools for Automated Mathematics
Scala versions:
2.13
Latest version
[![provingground-core-jvm Scala version support](https://index-dev.scala-lang.org/siddhartha-gadgil/provingground/provingground-core-jvm/latest.svg)](https://index-dev.scala-lang.org/siddhartha-gadgil/provingground/provingground-core-jvm)
JVM badge
[![provingground-core-jvm Scala version support](https://index-dev.scala-lang.org/siddhartha-gadgil/provingground/provingground-core-jvm/latest-by-scala-version.svg?platform=jvm)](https://index-dev.scala-lang.org/siddhartha-gadgil/provingground/provingground-core-jvm)