Automated theorem proving through learning in HoTT

LicenseMIT
Tagsgithub
HomePage https://github.com/siddhartha-gadgil/ProvingGround
DateSep 19, 2020
Filesjar (181.2 MB)  View All
RepositoriesCentral
Ranking#322747 in MvnRepository (See Top Artifacts)
Scala TargetScala 2.13 (View all targets)
VulnerabilitiesVulnerabilities from dependencies:
CVE-2021-45105
CVE-2021-45046
CVE-2021-45046
View 5 more ...


Compile Dependencies (28)

Category/License Group / ArtifactVersionUpdates
Markdown
BSD 2-clause
com.atlassian.commonmark » commonmark 0.11.00.17.0
Func. Programming
Apache 2.0
com.chuusai » shapeless_2.13 2.4.0-M12.3.10
Console
MIT
com.lihaoyi » fansi_2.13 0.2.80.4.0
JSON Lib
MIT
com.lihaoyi » upickle_2.13 0.9.82.0.0
Parser Generator
MIT
com.lihaoyi » fastparse_2.13 2.2.32.3.3

MIT
com.lihaoyi » pprint_2.13 0.5.80.8.0

MIT
com.lihaoyi » sourcecode_2.13 0.2.10.3.0

MIT
com.lihaoyi » cask_2.13 0.7.30.8.3

MIT
com.lihaoyi » os-lib_2.13 0.7.00.8.1
Logging
MIT
com.outr » scribe_2.13 2.7.83.10.5

MIT
io.github.siddhartha-gadgil » provingground-core-jvm_2.13 0.1.1

io.github.siddhartha-gadgil » provingground-leanlib-jvm_2.13 0.1.1

Apache 2.0APL 2
io.monix » monix_2.13 3.2.23.4.1
Logging
Apache 2.0
org.apache.logging.log4j » log4j-core9 vulnerabilities 2.13.02.19.0
Machine Learning
Apache 2.0
org.deeplearning4j » deeplearning4j-core 1.0.0-beta70.9.1
Natural Lang Proc
Apache 2.0
org.deeplearning4j » deeplearning4j-nlp 1.0.0-beta70.9.1

Apache 2.0
org.deeplearning4j » deeplearning4j-graph 1.0.0-beta70.9.1
Git Tool
BSDEDL
org.eclipse.jgit » org.eclipse.jgit 5.6.0.201912101111-r6.3.0.202209071007-r
MongoDB Client
Apache 2.0
org.mongodb.scala » mongo-scala-driver_2.13 2.8.04.8.0

Apache 2.0
org.platanios » tensorflow_2.130.5.1-SNAPSHOT0.6.5
Parser Generator
Apache 2.0
org.scala-lang.modules » scala-parser-combinators_2.13 1.1.22.1.1
XML Processing
Apache 2.0
org.scala-lang.modules » scala-xml_2.13 1.2.02.1.0
Collections
Apache 2.0
org.scala-lang.modules » scala-parallel-collections_2.13 0.2.01.0.4

BSD
org.scalameta » scalameta_2.13 4.3.04.6.0

Apache 2.0
org.scalameta » mdoc_2.13 2.1.12.3.6

MIT
org.typelevel » spire_2.13 0.17.0-M10.18.0
Func. Programming
MIT
org.typelevel » cats-core_2.13 2.1.02.9.0

trepplein » trepplein_2.13 1.0

Developers

NameEmailDev IdRolesOrganization
Siddhartha Gadgilsiddhartha-gadgil