Sign in Sign up
cargo

lean-rs-host

Opinionated Rust host stack for embedding Lean 4 as a theorem-prover capability: typed sessions, kernel-check evidence handles, bounded MetaM services, progress, batching, and session pooling.

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
8

Releases per month

last 12 months

Release mix

  • minor 1
  • patch 20
22 releases
Dependencies

Depends on

0.2.1

Used by

1
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