Download JAR files tagged by theorem with all dependencies
provingground-mantle_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-mantle_2.13
Show documentation Show source
Show documentation Show source
0 downloads
Artifact provingground-mantle_2.13
Group io.github.siddhartha-gadgil
Version 0.1.1
Last update 19. September 2020
Organization not specified
URL https://github.com/siddhartha-gadgil/ProvingGround
License MIT
Dependencies amount 28
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, cask_2.13, scalameta_2.13, commonmark, log4j-core, tensorflow_2.13, mdoc_2.13, os-lib_2.13, org.eclipse.jgit, deeplearning4j-core, deeplearning4j-nlp, deeplearning4j-graph, mongo-scala-driver_2.13, provingground-core-jvm_2.13, trepplein_2.13, provingground-leanlib-jvm_2.13,
There are maybe transitive dependencies!
Group io.github.siddhartha-gadgil
Version 0.1.1
Last update 19. September 2020
Organization not specified
URL https://github.com/siddhartha-gadgil/ProvingGround
License MIT
Dependencies amount 28
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, cask_2.13, scalameta_2.13, commonmark, log4j-core, tensorflow_2.13, mdoc_2.13, os-lib_2.13, org.eclipse.jgit, deeplearning4j-core, deeplearning4j-nlp, deeplearning4j-graph, mongo-scala-driver_2.13, provingground-core-jvm_2.13, trepplein_2.13, provingground-leanlib-jvm_2.13,
There are maybe transitive 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
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
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!
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!
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!
javasmt-solver-z3-native from group org.sosy-lab (version z3-4.4.1-788-g8df145d)
Z3 Theorem Prover, pre-compiled binaries for x86_64 Linux.
Group: org.sosy-lab Artifact: javasmt-solver-z3-native
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact javasmt-solver-z3-native
Group org.sosy-lab
Version z3-4.4.1-788-g8df145d
Last update 06. March 2016
Organization Z3 Theorem Prover
URL https://github.com/Z3Prover/z3
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
Group org.sosy-lab
Version z3-4.4.1-788-g8df145d
Last update 06. March 2016
Organization Z3 Theorem Prover
URL https://github.com/Z3Prover/z3
License MIT License
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!
wytp from group org.whiley (version 0.7.0)
This provides a simple implementation of an automated theorem
prover, designed specifically for use with the Whiley Compiler.
Artifact wytp
Group org.whiley
Version 0.7.0
Last update 08. October 2020
Organization not specified
URL http://whiley.org
License Apache License, Version 2.0
Dependencies amount 3
Dependencies wycc, wycli, ant,
There are maybe transitive dependencies!
Group org.whiley
Version 0.7.0
Last update 08. October 2020
Organization not specified
URL http://whiley.org
License Apache License, Version 2.0
Dependencies amount 3
Dependencies wycc, wycli, ant,
There are maybe transitive dependencies!
princess_2.13 from group io.github.uuverifiers (version 2024-03-22)
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.
Group: io.github.uuverifiers Artifact: princess_2.13
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact princess_2.13
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 5
Dependencies scala-library, princess-parser_2.13, princess-smt-parser_2.13, scala-parser-combinators_2.13, java-cup,
There are maybe transitive dependencies!
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 5
Dependencies scala-library, princess-parser_2.13, princess-smt-parser_2.13, scala-parser-combinators_2.13, java-cup,
There are maybe transitive dependencies!
princess-smt-parser_2.13 from group io.github.uuverifiers (version 2024-03-22)
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.
Group: io.github.uuverifiers Artifact: princess-smt-parser_2.13
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact princess-smt-parser_2.13
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
princess-parser_2.13 from group io.github.uuverifiers (version 2024-03-22)
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.
Group: io.github.uuverifiers Artifact: princess-parser_2.13
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact princess-parser_2.13
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
princess_2.12 from group io.github.uuverifiers (version 2024-03-22)
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.
Group: io.github.uuverifiers Artifact: princess_2.12
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact princess_2.12
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 5
Dependencies scala-library, princess-parser_2.12, princess-smt-parser_2.12, scala-parser-combinators_2.12, java-cup,
There are maybe transitive dependencies!
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 5
Dependencies scala-library, princess-parser_2.12, princess-smt-parser_2.12, scala-parser-combinators_2.12, java-cup,
There are maybe transitive dependencies!
Page 1 from 2 (items total 16)