markblokpoel / mathlib-repo 0.1.5

GNU General Public License v3.0 only GitHub

Scala versions: 2.13

mathlib-repo 0.1.3

Group ID:

com.markblokpoel

Artifact ID:

mathlib-repo_2.13

Version:

0.1.3

Release Date:

Dec 3, 2025

Licenses:

Files:

Full Scala Version:

2.13.16

Developers:

Mark Blokpoel

libraryDependencies += "com.markblokpoel" %% "mathlib-repo" % "0.1.3"

ivy"com.markblokpoel::mathlib-repo:0.1.3"

//> using dep "com.markblokpoel::mathlib-repo:0.1.3"

import $ivy.`com.markblokpoel::mathlib-repo:0.1.3`

<dependency>
  <groupId>com.markblokpoel</groupId>
  <artifactId>mathlib-repo_2.13</artifactId>
  <version>0.1.3</version>
</dependency>

compile group: 'com.markblokpoel', name: 'mathlib-repo_2.13', version: '0.1.3'