lean-rs-interop-shims 0.5.0

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

Coverage
100%
9 out of 9 items documented0 out of 3 items with examples
Size
Source code size: 42.07 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 507.47 kB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 9s Average build duration of successful builds.
all releases: 10s Average build duration of successful builds in releases after 2024-10-23.
Links
jcreinhold/lean-rs
3 0 0
crates.io
Dependencies
- lean-toolchain ^0.5.0 normal
- sha2 ^0.11 normal
Versions
Owners

lean-rs-interop-shims

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

Downstream build scripts can call materialize_source_package to copy the LeanRsInterop Lake package into a caller-owned build/cache root with a generated lean-toolchain, instead of assuming a sibling lean-rs checkout.