Clojars

Clojars

org.replikativ/ansatz

Verified Clojure via Lean 4 Mathlib — write Clojure, prove it correct

Leiningen/Boot

[org.replikativ/ansatz "0.1.22"]

Clojure CLI/deps.edn

org.replikativ/ansatz {:mvn/version "0.1.22"}

Gradle

implementation("org.replikativ:ansatz:0.1.22")

Maven

<dependency>
  <groupId>org.replikativ</groupId>
  <artifactId>ansatz</artifactId>
  <version>0.1.22</version>
</dependency>