lean-toolchain-0.4.0
- lean-toolchain 0.4.0
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- 19 July 2026
- Links
- Repository
- crates.io
- Source
- Owners
- jcreinhold
- Dependencies
- fs4 ^1.1 normal
  lean-rs-abi ^0.4.0 normal
  serde ^1 normal
  serde_json ^1 normal
  sha2 ^0.11 normal
  toml ^1.1 normal
  lean-rs-abi ^0.4.0 build
  sha2 ^0.11 build
- Versions
- 87.39% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

VERSION

lean_toolchain0.4.0

Constant VERSION

pub const VERSION: &str = "0.4.0";

Expand description

Version of the lean-toolchain crate, matching Cargo.toml.