org.replikativ/ansatz

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

Leiningen/Boot

[org.replikativ/ansatz "0.1.18"]

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

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

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

Pushed by
whilo on Apr 3, 2026 with this git tree
Recent Versions
Dependencies
Homepage
https://github.com/replikativ/ansatz
License
- Apache License 2.0
Version Badge
Want to display the latest version of your project on GitHub? Use the markdown code below!
[![Clojars Project](https://img.shields.io/clojars/v/org.replikativ/ansatz.svg)](https://clojars.org/org.replikativ/ansatz)
If you want to include pre-releases and snapshots, use the following markdown code:
[![Clojars Project](https://img.shields.io/clojars/v/org.replikativ/ansatz.svg?include_prereleases)](https://clojars.org/org.replikativ/ansatz)