Clojars

Clojars

latte-prelude

The core library for the LaTTe proof assistant.

Leiningen/Boot

[latte-prelude "1.0b10-SNAPSHOT"]

Clojure CLI/deps.edn

latte-prelude/latte-prelude {:mvn/version "1.0b10-SNAPSHOT"}

Gradle

implementation("latte-prelude:latte-prelude:1.0b10-SNAPSHOT")

Maven

<dependency>
  <groupId>latte-prelude</groupId>
  <artifactId>latte-prelude</artifactId>
  <version>1.0b10-SNAPSHOT</version>
</dependency>