Clojars

Clojars

latte-sets

A formalization of (typed) Set theory in LaTTe.

  • VCSN/A

  • cljdoc documentationcljdoc
  • 166 Downloads
  • 18 This Version

Leiningen/Boot

[latte-sets "0.1.1-SNAPSHOT"]

Clojure CLI/deps.edn

latte-sets/latte-sets {:mvn/version "0.1.1-SNAPSHOT"}

Gradle

implementation("latte-sets:latte-sets:0.1.1-SNAPSHOT")

Maven

<dependency>
  <groupId>latte-sets</groupId>
  <artifactId>latte-sets</artifactId>
  <version>0.1.1-SNAPSHOT</version>
</dependency>