Sign in Sign up
cargo

lean-rs

Safe Rust bindings for Lean 4 interop: runtime initialization, object handles, typed ABI conversions, module loading, exported function calls, semantic handles, and callback handles.

Latest release
18h ago
Releases
22
Known CVEs
0
First release
May 18, 2026
License
MIT OR Apache-2.0
View on Cargo
Repository

Source

jcreinhold/lean-rs
Stars
Forks
Open issues

Security score

No OpenSSF Scorecard available for this repository.

Packages from this repo

Insights

Activity

Total releases
22
Last 12 months
22
Cadence
~daily
Dependencies
11

Releases per month

last 12 months

Release mix

  • minor 1
  • patch 20
22 releases
Releases
Version Released
0.2.1 patch
0.2.0 minor
0.1.20 patch
0.1.19 patch
0.1.18 patch
0.1.17 patch
0.1.16 patch
0.1.15 patch
0.1.14 patch
0.1.13 patch
0.1.12 patch
0.1.11 patch
0.1.10 patch
0.1.8 patch
0.1.7 patch
0.1.6 patch
0.1.5 patch
0.1.4 patch
0.1.3 patch
0.1.2 patch
1–20 of 22