Download provingground-mantle_2.13 JAR file 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!
Page 1 from 1 (items total 1)