cargo / lean-rs-sys
Raw FFI bindings for the Lean 4 C ABI. See `lean-rs` for the safe front door.
0.9.3 did not build; the badge stands for .
| Releases1 | Findings | Build time | Built | |
|---|---|---|---|---|
| 0.9.3 | not built | 13h ago |
Open-Source Registry
Open-Source Registry
cargo / lean-rs-sys
Raw FFI bindings for the Lean 4 C ABI. See `lean-rs` for the safe front door.
0.9.3 did not build; the badge stands for .
| Releases1 | Findings | Build time | Built | |
|---|---|---|---|---|
| 0.9.3 | not built | 13h ago |