docs.rs failed to build lean-toolchain-0.1.0
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
Please check the build logs for more information.
See Builds for ideas on how to fix a failed build, or Metadata for how to configure docs.rs builds.
If you believe this is docs.rs' fault, open an issue.
lean-toolchain
Lean 4 toolchain discovery, fingerprinting, allowlist re-export, and build-script helpers for the lean-rs project.
Sits above the in-tree lean-rs-sys crate (raw FFI + header digest + symbol allowlist; published per
RD-2026-05-17-005) and below lean-rs. Owns the typed ToolchainFingerprint, the Lake fixture digest,
the layered link diagnostics, and the reusable build-script helpers downstream embedders can call from their own
build.rs. See the workspace README.