Download provingground-core-jvm_2.12 JAR file with all 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 1)