Clojars

Clojars

typeset

A Clojure DSL for typesetting documents that consist of claims and their proofs.

Leiningen/Boot

[typeset "1.0.0-SNAPSHOT"]

Clojure CLI/deps.edn

typeset/typeset {:mvn/version "1.0.0-SNAPSHOT"}

Gradle

implementation("typeset:typeset:1.0.0-SNAPSHOT")

Maven

<dependency>
  <groupId>typeset</groupId>
  <artifactId>typeset</artifactId>
  <version>1.0.0-SNAPSHOT</version>
</dependency>