io.github.conao3/leanfran

Write and prove functions in Lean 4, run them on the JVM from Clojure.

Leiningen/Boot

[io.github.conao3/leanfran "0.6.0"]

io.github.conao3/leanfran {:mvn/version "0.6.0"}

implementation("io.github.conao3:leanfran:0.6.0")

<dependency>
  <groupId>io.github.conao3</groupId>
  <artifactId>leanfran</artifactId>
  <version>0.6.0</version>
</dependency>

Pushed by
conao3 on Nov 13, 2026 with this git tree
Recent Versions
- 0.6.0
Dependencies
- org.clojure/clojure 1.12.6
- org.clojure/test.check 1.1.3
Homepage
https://github.com/conao3/lean-leanfran
License
- Apache-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/io.github.conao3/leanfran.svg)](https://clojars.org/io.github.conao3/leanfran)
If you want to include pre-releases and snapshots, use the following markdown code:
[![Clojars Project](https://img.shields.io/clojars/v/io.github.conao3/leanfran.svg?include_prereleases)](https://clojars.org/io.github.conao3/leanfran)