siddhartha-gadgil / provingground 0.1.1

MIT License Website GitHub

Proving Ground: Tools for Automated Mathematics

homotopy
scala
theorem-proving

Scala versions: 2.13

provingground-mantle 0.1.1

Group ID:

io.github.siddhartha-gadgil

Artifact ID:

provingground-mantle_2.13

Version:

0.1.1

Release Date:

Sept 19, 2020

Licenses:

MIT

Files:

View all

Developers:

Siddhartha Gadgil |

libraryDependencies += "io.github.siddhartha-gadgil" %% "provingground-mantle" % "0.1.1"

Mill build tool

ivy"io.github.siddhartha-gadgil::provingground-mantle:0.1.1"

Scala CLI

//> using dep "io.github.siddhartha-gadgil::provingground-mantle:0.1.1"

Ammonite REPL

import $ivy.`io.github.siddhartha-gadgil::provingground-mantle:0.1.1`

<dependency>
  <groupId>io.github.siddhartha-gadgil</groupId>
  <artifactId>provingground-mantle_2.13</artifactId>
  <version>0.1.1</version>
</dependency>

compile group: 'io.github.siddhartha-gadgil', name: 'provingground-mantle_2.13', version: '0.1.1'

siddhartha-gadgil / provingground 0.1.1

provingground-mantle 0.1.1

Documentation

Try online with Scastie

28 Dependencies

No Dependent