Proving Ground: Tools for Automated Mathematics
Scala versions:
2.13
provingground-mantle 0.1.0
Group ID:
io.github.siddhartha-gadgil
Artifact ID:
provingground-mantle_2.12
Version:
0.1.0
Release Date:
Mar 22, 2019
Licenses:
Files:
Developers:
libraryDependencies += "io.github.siddhartha-gadgil" %% "provingground-mantle" % "0.1.0"
ivy"io.github.siddhartha-gadgil::provingground-mantle:0.1.0"
//> using dep "io.github.siddhartha-gadgil::provingground-mantle:0.1.0"
import $ivy.`io.github.siddhartha-gadgil::provingground-mantle:0.1.0`
<dependency> <groupId>io.github.siddhartha-gadgil</groupId> <artifactId>provingground-mantle_2.12</artifactId> <version>0.1.0</version> </dependency>
compile group: 'io.github.siddhartha-gadgil', name: 'provingground-mantle_2.12', version: '0.1.0'
Documentation
20 Dependencies
-
2.3.3
-
0.1.9
-
0.2.4
-
2.1.0
-
0.2.5
-
0.5.2
-
0.7.1
-
3.0.0-RC2
-
1.2.8
-
4.1.0
-
1.4.0
-
0.16.0