License |
License |
---|---|
Categories |
CategoriesAnt Build Tools |
GroupId | GroupIdio.github.siddhartha-gadgil |
ArtifactId | ArtifactIdprovingground-mantle_2.13 |
Last Version | Last Version0.1.1 |
Release Date | Release Date |
Type | Typejar |
Description |
Descriptionprovingground-mantle_2.13
Automated theorem proving through learning in HoTT
|
Project URL |
Project URL |
Source Code Management |
Source Code Management |
<!-- 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"]