JarCasting
JarCasting JarCasting

provingground-mantle_2.13

Automated theorem proving through learning in HoTT

License

License

MIT
Categories

Categories

Ant Build Tools
GroupId

GroupId

io.github.siddhartha-gadgil
ArtifactId

ArtifactId

provingground-mantle_2.13
Last Version

Last Version

0.1.1
Release Date

Release Date
Type

Type

jar
Description

Description

provingground-mantle_2.13
Automated theorem proving through learning in HoTT
Project URL

Project URL

https://github.com/siddhartha-gadgil/ProvingGround
Source Code Management

Source Code Management

https://github.com/siddhartha-gadgil/ProvingGround

Download provingground-mantle_2.13

Filename Size
provingground-mantle_2.13-0.1.1.pom
provingground-mantle_2.13-0.1.1.jar 181 MB
provingground-mantle_2.13-0.1.1-sources.jar 180 MB
provingground-mantle_2.13-0.1.1-javadoc.jar 1 MB
Browse

How to add to project

<!-- https://jarcasting.com/artifacts/io.github.siddhartha-gadgil/provingground-mantle_2.13/ -->
<dependency>
    <groupId>io.github.siddhartha-gadgil</groupId>
    <artifactId>provingground-mantle_2.13</artifactId>
    <version>0.1.1</version>
</dependency>
// https://jarcasting.com/artifacts/io.github.siddhartha-gadgil/provingground-mantle_2.13/
implementation 'io.github.siddhartha-gadgil:provingground-mantle_2.13:0.1.1'
// https://jarcasting.com/artifacts/io.github.siddhartha-gadgil/provingground-mantle_2.13/
implementation ("io.github.siddhartha-gadgil:provingground-mantle_2.13:0.1.1")
'io.github.siddhartha-gadgil:provingground-mantle_2.13:jar:0.1.1'
<dependency org="io.github.siddhartha-gadgil" name="provingground-mantle_2.13" rev="0.1.1">
  <artifact name="provingground-mantle_2.13" type="jar" />
</dependency>
@Grapes(
@Grab(group='io.github.siddhartha-gadgil', module='provingground-mantle_2.13', version='0.1.1')
)
libraryDependencies += "io.github.siddhartha-gadgil" % "provingground-mantle_2.13" % "0.1.1"
[io.github.siddhartha-gadgil/provingground-mantle_2.13 "0.1.1"]

Dependencies

compile (28)

Group / Artifact Type Version
org.scala-lang.modules : scala-parser-combinators_2.13 jar 1.1.2
org.scala-lang.modules : scala-xml_2.13 jar 1.2.0
org.typelevel : spire_2.13 jar 0.17.0-M1
com.lihaoyi : fansi_2.13 jar 0.2.8
com.lihaoyi : upickle_2.13 jar 0.9.8
com.lihaoyi : fastparse_2.13 jar 2.2.3
com.chuusai : shapeless_2.13 jar 2.4.0-M1
org.typelevel : cats-core_2.13 jar 2.1.0
io.monix : monix_2.13 jar 3.2.2
com.lihaoyi : pprint_2.13 jar 0.5.8
com.outr : scribe_2.13 jar 2.7.8
org.scala-lang.modules : scala-parallel-collections_2.13 jar 0.2.0
com.lihaoyi : sourcecode_2.13 jar 0.2.1
com.lihaoyi : cask_2.13 jar 0.7.3
org.scalameta : scalameta_2.13 jar 4.3.0
com.atlassian.commonmark : commonmark jar 0.11.0
org.apache.logging.log4j : log4j-core jar 2.13.0
org.platanios : tensorflow_2.13 jar 0.5.1-SNAPSHOT
org.scalameta : mdoc_2.13 jar 2.1.1
com.lihaoyi : os-lib_2.13 jar 0.7.0
org.eclipse.jgit : org.eclipse.jgit jar 5.6.0.201912101111-r
org.deeplearning4j : deeplearning4j-core jar 1.0.0-beta7
org.deeplearning4j : deeplearning4j-nlp jar 1.0.0-beta7
org.deeplearning4j : deeplearning4j-graph jar 1.0.0-beta7
org.mongodb.scala : mongo-scala-driver_2.13 jar 2.8.0
io.github.siddhartha-gadgil : provingground-core-jvm_2.13 jar 0.1.1
trepplein » trepplein_2.13 jar 1.0
io.github.siddhartha-gadgil » provingground-leanlib-jvm_2.13 jar 0.1.1

Project Modules

There are no modules declared in this project.

Versions

Version
0.1.1