lean-rs-0.1.5
- lean-rs 0.1.5
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- crates.io
- Source
- Owners
- jcreinhold
- Dependencies
- lean-rs-sys ^0.1.5 normal
  lean-toolchain ^0.1.5 normal
  libloading ^0.8 normal
  object ^0.36 normal
  serde_json ^1 normal
  tracing ^0.1 normal
  tracing-subscriber ^0.3 normal
  criterion ^0.8 dev
  dhat ^0.3 dev
  tracing-subscriber ^0.3 dev
- Versions
- 100% of the crate is documented
Go to latest version
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

VERSION

lean_rs0.1.5

Constant VERSION

pub const VERSION: &str = "0.1.5";

Expand description

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