Download JAR files tagged by hott with all dependencies
provingground-mantle_2.13 from group io.github.siddhartha-gadgil (version 0.1.1)
Automated theorem proving through learning in HoTT
Group: io.github.siddhartha-gadgil Artifact: provingground-mantle_2.13
Show documentation Show source
Show documentation Show source
0 downloads
Artifact provingground-mantle_2.13
Group io.github.siddhartha-gadgil
Version 0.1.1
Last update 19. September 2020
Organization not specified
URL https://github.com/siddhartha-gadgil/ProvingGround
License MIT
Dependencies amount 28
Dependencies scala-parser-combinators_2.13, scala-xml_2.13, spire_2.13, fansi_2.13, upickle_2.13, fastparse_2.13, shapeless_2.13, cats-core_2.13, monix_2.13, pprint_2.13, scribe_2.13, scala-parallel-collections_2.13, sourcecode_2.13, cask_2.13, scalameta_2.13, commonmark, log4j-core, tensorflow_2.13, mdoc_2.13, os-lib_2.13, org.eclipse.jgit, deeplearning4j-core, deeplearning4j-nlp, deeplearning4j-graph, mongo-scala-driver_2.13, provingground-core-jvm_2.13, trepplein_2.13, provingground-leanlib-jvm_2.13,
There are maybe transitive dependencies!
Group io.github.siddhartha-gadgil
Version 0.1.1
Last update 19. September 2020
Organization not specified
URL https://github.com/siddhartha-gadgil/ProvingGround
License MIT
Dependencies amount 28
Dependencies scala-parser-combinators_2.13, scala-xml_2.13, spire_2.13, fansi_2.13, upickle_2.13, fastparse_2.13, shapeless_2.13, cats-core_2.13, monix_2.13, pprint_2.13, scribe_2.13, scala-parallel-collections_2.13, sourcecode_2.13, cask_2.13, scalameta_2.13, commonmark, log4j-core, tensorflow_2.13, mdoc_2.13, os-lib_2.13, org.eclipse.jgit, deeplearning4j-core, deeplearning4j-nlp, deeplearning4j-graph, mongo-scala-driver_2.13, provingground-core-jvm_2.13, trepplein_2.13, provingground-leanlib-jvm_2.13,
There are maybe transitive dependencies!
provingground-core-jvm_2.13 from group io.github.siddhartha-gadgil (version 0.1.1)
Automated theorem proving through learning in HoTT
Group: io.github.siddhartha-gadgil Artifact: provingground-core-jvm_2.13
Show documentation Show source
Show documentation Show source
0 downloads
Artifact provingground-core-jvm_2.13
Group io.github.siddhartha-gadgil
Version 0.1.1
Last update 19. September 2020
Organization not specified
URL https://github.com/siddhartha-gadgil/ProvingGround
License MIT
Dependencies amount 13
Dependencies scala-parser-combinators_2.13, scala-xml_2.13, spire_2.13, fansi_2.13, upickle_2.13, fastparse_2.13, shapeless_2.13, cats-core_2.13, monix_2.13, pprint_2.13, scribe_2.13, scala-parallel-collections_2.13, sourcecode_2.13,
There are maybe transitive dependencies!
Group io.github.siddhartha-gadgil
Version 0.1.1
Last update 19. September 2020
Organization not specified
URL https://github.com/siddhartha-gadgil/ProvingGround
License MIT
Dependencies amount 13
Dependencies scala-parser-combinators_2.13, scala-xml_2.13, spire_2.13, fansi_2.13, upickle_2.13, fastparse_2.13, shapeless_2.13, cats-core_2.13, monix_2.13, pprint_2.13, scribe_2.13, scala-parallel-collections_2.13, sourcecode_2.13,
There are maybe transitive dependencies!
provingground-mantle_2.12 from group io.github.siddhartha-gadgil (version 0.1.0)
Automated theorem proving through learning in HoTT
Group: io.github.siddhartha-gadgil Artifact: provingground-mantle_2.12
Show documentation Show source
Show documentation Show source
0 downloads
Artifact provingground-mantle_2.12
Group io.github.siddhartha-gadgil
Version 0.1.0
Last update 22. March 2019
Organization not specified
URL https://github.com/siddhartha-gadgil/ProvingGround
License MIT
Dependencies amount 20
Dependencies scala-parser-combinators_2.12, scala-xml_2.12, spire_2.12, fansi_2.12, upickle_2.12, fastparse_2.12, shapeless_2.12, cats-core_2.12, monix_2.12, pprint_2.12, cask_2.12, scalameta_2.12, commonmark, log4j-core, tensorflow_2.12, mdoc_2.12, os-lib_2.12, provingground-core-jvm_2.12, trepplein_2.12, leanlib-jvm_2.12,
There are maybe transitive dependencies!
Group io.github.siddhartha-gadgil
Version 0.1.0
Last update 22. March 2019
Organization not specified
URL https://github.com/siddhartha-gadgil/ProvingGround
License MIT
Dependencies amount 20
Dependencies scala-parser-combinators_2.12, scala-xml_2.12, spire_2.12, fansi_2.12, upickle_2.12, fastparse_2.12, shapeless_2.12, cats-core_2.12, monix_2.12, pprint_2.12, cask_2.12, scalameta_2.12, commonmark, log4j-core, tensorflow_2.12, mdoc_2.12, os-lib_2.12, provingground-core-jvm_2.12, trepplein_2.12, leanlib-jvm_2.12,
There are maybe transitive dependencies!
provingground-core-jvm_2.12 from group io.github.siddhartha-gadgil (version 0.1.0)
Automated theorem proving through learning in HoTT
Group: io.github.siddhartha-gadgil Artifact: provingground-core-jvm_2.12
Show documentation Show source
Show documentation Show source
0 downloads
Artifact provingground-core-jvm_2.12
Group io.github.siddhartha-gadgil
Version 0.1.0
Last update 21. March 2019
Organization not specified
URL https://github.com/siddhartha-gadgil/ProvingGround
License MIT
Dependencies amount 10
Dependencies scala-parser-combinators_2.12, scala-xml_2.12, spire_2.12, fansi_2.12, upickle_2.12, fastparse_2.12, shapeless_2.12, cats-core_2.12, monix_2.12, pprint_2.12,
There are maybe transitive dependencies!
Group io.github.siddhartha-gadgil
Version 0.1.0
Last update 21. March 2019
Organization not specified
URL https://github.com/siddhartha-gadgil/ProvingGround
License MIT
Dependencies amount 10
Dependencies scala-parser-combinators_2.12, scala-xml_2.12, spire_2.12, fansi_2.12, upickle_2.12, fastparse_2.12, shapeless_2.12, cats-core_2.12, monix_2.12, pprint_2.12,
There are maybe transitive dependencies!
Page 1 from 1 (items total 4)