| License |
License |
|---|---|
| GroupId | GroupIdio.github.siddhartha-gadgil |
| ArtifactId | ArtifactIdprovingground-core-jvm_2.13 |
| Version | Version0.1.1 |
| Type | Typejar |
| Description |
Descriptionprovingground-core-jvm_2.13
Automated theorem proving through learning in HoTT
|
| Project URL |
Project URL |
| Source Code Management |
Source Code Management |
JarCasting<!-- https://jarcasting.com/artifacts/io.github.siddhartha-gadgil/provingground-core-jvm_2.13/ -->
<dependency>
<groupId>io.github.siddhartha-gadgil</groupId>
<artifactId>provingground-core-jvm_2.13</artifactId>
<version>0.1.1</version>
</dependency>// https://jarcasting.com/artifacts/io.github.siddhartha-gadgil/provingground-core-jvm_2.13/
implementation 'io.github.siddhartha-gadgil:provingground-core-jvm_2.13:0.1.1'// https://jarcasting.com/artifacts/io.github.siddhartha-gadgil/provingground-core-jvm_2.13/
implementation ("io.github.siddhartha-gadgil:provingground-core-jvm_2.13:0.1.1")'io.github.siddhartha-gadgil:provingground-core-jvm_2.13:jar:0.1.1'<dependency org="io.github.siddhartha-gadgil" name="provingground-core-jvm_2.13" rev="0.1.1">
<artifact name="provingground-core-jvm_2.13" type="jar" />
</dependency>@Grapes(
@Grab(group='io.github.siddhartha-gadgil', module='provingground-core-jvm_2.13', version='0.1.1')
)libraryDependencies += "io.github.siddhartha-gadgil" % "provingground-core-jvm_2.13" % "0.1.1"[io.github.siddhartha-gadgil/provingground-core-jvm_2.13 "0.1.1"]| 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 |