Clojars

Clojars

latte-integers

A formalization of integers in LaTTe.

Leiningen/Boot

[latte-integers "0.13.0-SNAPSHOT"]

Clojure CLI/deps.edn

latte-integers/latte-integers {:mvn/version "0.13.0-SNAPSHOT"}

Gradle

implementation("latte-integers:latte-integers:0.13.0-SNAPSHOT")

Maven

<dependency>
  <groupId>latte-integers</groupId>
  <artifactId>latte-integers</artifactId>
  <version>0.13.0-SNAPSHOT</version>
</dependency>