Sign in Sign up
cargo

lean-rs-interop-shims

Package-owned Lean source payload for the generic lean-rs interop shims.

Latest release
18h ago
Releases
1
Known CVEs
0
First release
Jun 09, 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
1
Last 12 months
1
Cadence
—
Dependencies
2

Releases per month

last 12 months

Release mix

1 releases
Dependencies

Depends on

0.2.1

Used by

Nothing tracked depends on this yet.

Releases
Version Released
0.2.1 initial