Group: io.github.siddhartha-gadgil - All Dependencies

icon
provingground-core-jvm_2.12 0.1.0
@io.github.siddhartha-gadgil

provingground-core-jvm_2.12 · Automated theorem proving through learning in HoTT

Mar 21, 2019
1 usages
203 stars
icon
provingground-core-jvm_2.13 0.1.1
@io.github.siddhartha-gadgil

provingground-core-jvm_2.13 · Automated theorem proving through learning in HoTT

Sep 19, 2020
1 usages
203 stars
icon
provingground-mantle_2.12 0.1.0
@io.github.siddhartha-gadgil

provingground-mantle_2.12 · Automated theorem proving through learning in HoTT

Mar 22, 2019
203 stars
icon
provingground-mantle_2.13 0.1.1
@io.github.siddhartha-gadgil

provingground-mantle_2.13 · Automated theorem proving through learning in HoTT

Sep 19, 2020
203 stars

Advertisement

Top Dependency Usages

junit
icon @junit
Feb 13, 2021
95.1k usages
8.5k stars
scala-library
icon @org.scala-lang
Jun 02, 2023
69.4k usages
14.3k stars
slf4j-api
icon @org.slf4j
Mar 17, 2023
51k usages
2.1k stars
guava
icon @com.google.guava
Jul 31, 2023
27.1k usages
50.1k stars
logback-classic
icon @ch.qos.logback
Aug 09, 2023
25k usages
2.7k stars
More Dependencies ❯