siddhartha-gadgil / provingground   0.1.1

MIT License Website GitHub

Proving Ground: Tools for Automated Mathematics

Scala versions: 2.12 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)