Clojars

Clojars

org.replikativ/ansatz

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

Leiningen/Boot

[org.replikativ/ansatz "0.2.75"]

Clojure CLI/deps.edn

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

Gradle

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

Maven

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