Download provingground-core-jvm_2.13 JAR file with all 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
Tags: automated theorem proving hott through learning
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
Tags: automated theorem proving hott through learning
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!
Page 1 from 1 (items total 1)