siddhartha-gadgil / provingground   0.1.1

MIT License Website GitHub

Proving Ground: Tools for Automated Mathematics

Scala versions: 2.13

provingground-core-jvm 0.1.0

Group ID:
io.github.siddhartha-gadgil
Artifact ID:
provingground-core-jvm_2.12
Version:
0.1.0
Release Date:
Mar 21, 2019
Licenses:
MIT
Files:
View all
Developers:
Siddhartha Gadgil | 

libraryDependencies += "io.github.siddhartha-gadgil" %% "provingground-core-jvm" % "0.1.0"

Mill build tool

ivy"io.github.siddhartha-gadgil::provingground-core-jvm:0.1.0"

Scala CLI

//> using dep "io.github.siddhartha-gadgil::provingground-core-jvm:0.1.0"

Ammonite REPL

import $ivy.`io.github.siddhartha-gadgil::provingground-core-jvm:0.1.0`

<dependency>
  <groupId>io.github.siddhartha-gadgil</groupId>
  <artifactId>provingground-core-jvm_2.12</artifactId>
  <version>0.1.0</version>
</dependency>

compile group: 'io.github.siddhartha-gadgil', name: 'provingground-core-jvm_2.12', version: '0.1.0'

Documentation

Try online with Scastie
Try on Scastie

10 Dependencies

1 Dependent