Proving Ground: Tools for Automated Mathematics
Scala versions:
2.13
provingground-core-jvm 0.1.1
Group ID:
io.github.siddhartha-gadgil
Artifact ID:
provingground-core-jvm_2.13
Version:
0.1.1
Release Date:
Sep 19, 2020
Licenses:
Files:
libraryDependencies += "io.github.siddhartha-gadgil" %% "provingground-core-jvm" % "0.1.1"
ivy"io.github.siddhartha-gadgil::provingground-core-jvm:0.1.1"
//> using dep "io.github.siddhartha-gadgil::provingground-core-jvm:0.1.1"
import $ivy.`io.github.siddhartha-gadgil::provingground-core-jvm:0.1.1`
<dependency> <groupId>io.github.siddhartha-gadgil</groupId> <artifactId>provingground-core-jvm_2.13</artifactId> <version>0.1.1</version> </dependency>
compile group: 'io.github.siddhartha-gadgil', name: 'provingground-core-jvm_2.13', version: '0.1.1'