provingground-mantle_2.12 0.1.0

Automated theorem proving through learning in HoTT

License	MIT
Categories	Ant Build Tools
GroupId	io.github.siddhartha-gadgil
ArtifactId	provingground-mantle_2.12
Version	0.1.0
Type	jar
Description	provingground-mantle_2.12 Automated theorem proving through learning in HoTT
Project URL	https://github.com/siddhartha-gadgil/ProvingGround
Source Code Management	https://github.com/siddhartha-gadgil/ProvingGround

Download provingground-mantle_2.12 0.1.0

Filename	Size
provingground-mantle_2.12-0.1.0.pom
provingground-mantle_2.12-0.1.0.jar	185 MB
provingground-mantle_2.12-0.1.0-sources.jar	184 MB
provingground-mantle_2.12-0.1.0-javadoc.jar	1 MB

Apache Maven

<!-- https://jarcasting.com/artifacts/io.github.siddhartha-gadgil/provingground-mantle_2.12/ -->
<dependency>
    <groupId>io.github.siddhartha-gadgil</groupId>
    <artifactId>provingground-mantle_2.12</artifactId>
    <version>0.1.0</version>
</dependency>

Gradle Groovy

// https://jarcasting.com/artifacts/io.github.siddhartha-gadgil/provingground-mantle_2.12/
implementation 'io.github.siddhartha-gadgil:provingground-mantle_2.12:0.1.0'

Gradle Kotlin

// https://jarcasting.com/artifacts/io.github.siddhartha-gadgil/provingground-mantle_2.12/
implementation ("io.github.siddhartha-gadgil:provingground-mantle_2.12:0.1.0")

Apache Buildr

'io.github.siddhartha-gadgil:provingground-mantle_2.12:jar:0.1.0'

Apache Ivy

<dependency org="io.github.siddhartha-gadgil" name="provingground-mantle_2.12" rev="0.1.0">
  <artifact name="provingground-mantle_2.12" type="jar" />
</dependency>

Groovy Grape

@Grapes(
@Grab(group='io.github.siddhartha-gadgil', module='provingground-mantle_2.12', version='0.1.0')
)

Scala SBT

libraryDependencies += "io.github.siddhartha-gadgil" % "provingground-mantle_2.12" % "0.1.0"

Leiningen

[io.github.siddhartha-gadgil/provingground-mantle_2.12 "0.1.0"]

Dependencies

compile (20)

Group / Artifact	Type	Version
org.scala-lang.modules : scala-parser-combinators_2.12	jar	1.0.5
org.scala-lang.modules : scala-xml_2.12	jar	1.1.0
org.typelevel : spire_2.12	jar	0.16.0
com.lihaoyi : fansi_2.12	jar	0.2.4
com.lihaoyi : upickle_2.12	jar	0.7.1
com.lihaoyi : fastparse_2.12	jar	2.1.0
com.chuusai : shapeless_2.12	jar	2.3.3
org.typelevel : cats-core_2.12	jar	1.4.0
io.monix : monix_2.12	jar	3.0.0-RC2
com.lihaoyi : pprint_2.12	jar	0.5.2
com.lihaoyi : cask_2.12	jar	0.1.9
org.scalameta : scalameta_2.12	jar	4.1.0
com.atlassian.commonmark : commonmark	jar	0.11.0
org.apache.logging.log4j : log4j-core	jar	2.11.1
org.platanios : tensorflow_2.12	jar	0.4.0
org.scalameta : mdoc_2.12	jar	1.2.8
com.lihaoyi : os-lib_2.12	jar	0.2.5
io.github.siddhartha-gadgil : provingground-core-jvm_2.12	jar	0.1.0
trepplein » trepplein_2.12	jar	1.0
io.github.siddhartha-gadgil » leanlib-jvm_2.12	jar	0.1.0

Project Modules

There are no modules declared in this project.