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