Skip to content

io.github.siddhartha-gadgil.provingground-core-jvm_2.12 0.1.1-SNAPSHOT Latest version

Install 1/2: Add this to pom.xml:
Learn more about Maven or Gradle
<dependency>
  <groupId>io.github.siddhartha-gadgil.provingground-core-jvm_2</groupId>
  <artifactId>12</artifactId>
  <version>0.1.1-SNAPSHOT</version>
</dependency>
Install 2/2: Run via command line
$ mvn install

About this package

Documentation

No description available yet.

The 0.1.1-SNAPSHOT version of this package has been published Dec 11, 2019.

Details

Assets

Download activity

  • Total downloads 0
  • Last 30 days 0
  • Last week 0
  • Today 0

Topics

Scala theorem-proving homotopy

Recent versions