latte-kernel

The (very) small kernel of the LaTTe proof assistant

Leiningen/Boot

[latte-kernel "1.0b10-SNAPSHOT"]

Clojure CLI/deps.edn

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

Gradle

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

Maven

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